1k citations
1 paper · 2 filters
James Bailey, Guozhu Dong, Anthony Widjaja To
We study the problem of deciding satisfiability of first order logic queries over views, our aim being to delimit the boundary between the decidable and the undecidable fragments o…