[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,

Auteurs: K. Barkaoui , Y. Maïzi

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. Maïzi ",
	booktitle	=	"{IEEE Int. Conf. on Systems, Man, and Cybernetics, Orlando, US}",
	year	=	1997,
	month	=	"January",
	pages	=	"2386-2391",
}