Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:16:16Z
dc.abstract.enMost of the previously known evaluation methods for deductive databases are either breadth-first or depth-first (and recursive). There are cases when these strategies are not the best ones. It is desirable to have an evaluation framework for stratified Datalog$^\lnot$ that is goal-driven, set-at-a-time (as opposed to tuple-at-a-time) and adjustable w.r.t. flow-of-control strategies. These properties are important for efficient query evaluation on large and complex deductive databases. In this paper, by incorporating stratified negation into so-called query-subquery nets, we develop an evaluation framework, called QSQNSTR, with such properties for evaluating queries to stratified DatalogN databases. A variety of flow-of-control strategies can be used for QSQNSTR. The generic evaluation method QSQNSTR for stratified Datalog$^\lnot$ is sound, complete and has a PTIME data complexity.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorCao, Son Thanh
dc.contributor.authorNguyen, Anh Linh
dc.date.accessioned2024-01-25T04:12:07Z
dc.date.available2024-01-25T04:12:07Z
dc.date.issued2019
dc.description.financeNie dotyczy
dc.description.volume38
dc.identifier.doi10.31577/CAI_2019_1_19
dc.identifier.issn1335-9150
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/109154
dc.identifier.weblinkhttp://www.cai.sk/ojs/index.php/cai/article/view/2019\_1\_19
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofComputing and Informatics
dc.relation.pages19--56
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleIncorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases
dc.typeJournalArticle
dspace.entity.typePublication