Istituto di Scienza e Tecnologie dell'Informazione     
Giannotti F., Manco G., Nanni M., Pedreschi D. Query answering in nondeterministic, nonmonotic, logic databases. In: Workshop on Flexible Query Answering (Roskild, Danimarca, May 13 1998). Proceedings, pp. 175 - 187. (Lecture Notes in Artificial Intelligence, vol. 1495). Springer, 1998.
We consider in this paper an extension of Datalog with mechanisms for temporal, non monotonic and non deterministic reasoning, which we refer to as Datalog++. We show, by means of examples, its flexibility in expressing queries of increasing difficulty, up to 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. On this basis, the design of appropriate optimization techniques for Datalog-b+ is also briefly discussed.
Subject Non-determinism
D.1.6 Programming techniques. Logic programming

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional