Istituto di Scienza e Tecnologie dell'Informazione     
Bonchi F., Giannotti F., Pedreschi D. In verification in logic database languages. In: CL 2000 - Computational Logic CL 2000 : First International Conference (London, UK, 24-28 july 2000). Proceedings, pp. 957 - 971. (Lecture Notes in Computer Science, vol. 1861). Springer, 2000.
We consider in this paper an extension of Datalog with mechanisms for non-monotonic and non-deterministic reasoning and a simple form of temporal reasoning, which we refer to as Datalog++. First, we show how with this logic database language is possible to express problems in heterogeneous domains, such as operation research and concurrent programming. Second, we provide a methodology for the verification of Datalog++ programs, based on the declarative semantics, which is able to handle both atemporal and temporal properties.
DOI: 10.1007/3-540-44957-4_64
Subject Database

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