The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (2001 vol.13)
pp: 813-823
ABSTRACT
<p><b>Abstract</b>—We consider in this paper an extension of Datalog with mechanisms for temporal, nonmonotonic, and nondeterministic reasoning, which we refer to as Datalog++. We show, by means of examples, its flexibility in expressing queries concerning aggregates and data cube. Also, we show how iterated fixpoint and stable model semantics can be combined to the purpose of clarifying the semantics of Datalog++ programs and supporting their efficient execution. Finally, we provide a more concrete implementation strategy on which basis the design of optimization techniques tailored for Datalog++ is addressed.</p>
INDEX TERMS
Logic programming, databases, negation, nondeterminism, stable models.
CITATION
Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, "Nondeterministic, Nonmonotonic Logic Databases", IEEE Transactions on Knowledge & Data Engineering, vol.13, no. 5, pp. 813-823, September/October 2001, doi:10.1109/69.956102
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool