3 citations · 6 across the 4 of their papers we have counts for
5 papers · 1 filter
Scalable Querying of Nested Data
Jaclyn Smith, Michael Benedikt, Milos Nikolic +1
While large-scale distributed data processing platforms have become an attractive target for query processing, these systems are problematic for applications that deal with nested…
Balancing expressiveness and inexpressiveness in view design
Michael Benedikt, Pierre Bourhis, Louis Jachiet +1
We study the design of data publishing mechanisms that allow a collection of autonomous distributed datasources to collaborate to support queries. A common mechanism for data publi…
Some Model Theory of Guarded Negation
Vince Barany, Michael Benedikt, Balder ten Cate
The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal log…
On monotonic determinacy and rewritability for recursive queries and views
Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja +1
A query Q is monotonically determined over a set of views if Q can be expressed as a monotonic function of the view image. In the case of relational algebra views and queries, mono…
Finite Open-World Query Answering with Number Restrictions
Antoine Amarilli, Michael Benedikt
Open-world query answering is the problem of deciding, given a set of facts, conjunction of constraints, and query, whether the facts and constraints imply the query. This amounts…