Nie jesteś zalogowany |
SCULPT: describing the tabular data
- Prelegent(ci)
- Adam Witkowski
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 13 kwietnia 2016 14:15
- Pokój
- p. 5870
- Seminarium
- Seminarium „Teoria automatów”
SCULPT is a schema language for tabular data (like CSV files) proposed by Wim Martens, Frank Neven and Stan Vansummeren. I will talk about a variant of satisfiability problem which is tractable for a robust fragment of SCULPT.
