157 search results - page 1 / 32 » Incremental Evaluation of Datalog Queries |
ICDT
1992
ACM
13 years 9 months ago
1992
ACM
CORR
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We consider the setting of ontological database access, where an Abox is given in form of a relational database D and where a Boolean conjunctive query q has to be evalua...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
VLDB
1987
ACM
13 years 8 months ago
1987
ACM
A Datalog program can be translated into a system of fixpoint equations of relational algebra; this paper studies how such a system can be solved and optimized for a particular qu...
EDBT
2009
ACM
13 years 9 months ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...