SCULPT: describing the tabular data

Prelegent(ci)

Adam Witkowski

Afiliacja

Uniwersytet Warszawski

Termin

13 kwietnia 2016 14:15

Pokój

p. 5870

Tytuł w języku angielskim

joint work with Wim Martens

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.

---