Satisfiability for SCULPT-Schemas for CSV-Like Data.

Johannes Doleschal, Wim Martens, Frank Neven, Adam Witkowski

Browse the full ICDT paper archive.