Title :
A query evaluation strategy for deductive databases with presence of negation based on HLPN
Author :
Barkaoui, K. ; Majzi, Y.
Author_Institution :
Lab. CEDRIC-CNAM, Paris, France
Abstract :
We present an optimized recursive query evaluation for deductive databases with the presence of negative literals, based on the deductive high-level Petri net (DHLPN) model. The syntax and semantics of this model are derived from high-level Petri nets. Such a model benefits from the control structure inherent to Petri nets allowing the capture of rules´ stratification, in order to interpret without ambiguities, negative literals in rules, particularly during a recursive query evaluation
Keywords :
Petri nets; deductive databases; query processing; deductive databases; deductive high-level Petri net model; negation; negative literals; optimized recursive query evaluation; query evaluation strategy; rules´ stratification; semantics; syntax; Database languages; Deductive databases; Logic; Petri nets; Query processing; Relational databases;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.635284
