Rechercher

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

Conférence Internationale avec comité de lecture : IEEE Int. Conf. on Systems, Man, and Cybernetics, Orlando, US, January 1997, pp.2386-2391,
motcle:
Résumé: 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

BibTeX

@inproceedings {
BMa97,
title="{A query evaluation strategy for deductive databases with presence of negation based on HLPN (High-Level Petri Net)}",
author=" K. Barkaoui and Y. Mazi ",
booktitle="{IEEE Int. Conf. on Systems, Man, and Cybernetics, Orlando, US}",
year=1997,
month="January",
pages="2386-2391",
}