A query evaluation strategy for deductive databases with presence of negation based on HLPN (High-Level Petri Net)

Kamel Barkaoui (1) , Y. Ma?zi

1 CEDRIC - Centre d'études et de recherche en informatique et communications

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 frown 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. Voir le lien ici

Domaines: Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

Kamel Barkaoui, Y. Ma?zi. A query evaluation strategy for deductive databases with presence of negation based on HLPN (High-Level Petri Net). IEEE Int. Conf. on Systems, Man, and Cybernetics, Orlando, US, Jan 1997, X, France. pp.2386-2391. ⟨hal-01125477⟩