Istituto di Scienza e Tecnologie dell'Informazione     
Giannotti F., Manco G., Nanni M., Pedreschi D. Datalog++: a basis for Active Object-Oriented Databases. Internal note CNUCE-B4-97-011, 1997.
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++. First, we study its semantics, and show how iterated fixpoint and stable model semantics can be combined to the purpose of clarifying the interpretation of Datalog ++ programs, and supporting their efficient execution. Second, we exhibit a compilation into Datalog++ of an active/deductive object-oriented model. ADOOD, including the scherna definition language, the query language with multiple roles, the basic update operations, and a form of active rules. The proposed compilation is intended both to illustrate the expressiveness of Datalog++, and to provide a more flexible programming frontend to it. Finally, we illustrate the use of ADOOD by means of examples from semistructured data management
Subject databases
H.2.4 Object-oriented databases

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