The Impact of Active Domain Predicates on Guarded Existential RulesReport as inadecuate




The Impact of Active Domain Predicates on Guarded Existential Rules - Download this document for free, or read online. Document in PDF available to download.

Reference: Gottlob, Georg, Pieris, A and Ŝimkus, M, (2016). The Impact of Active Domain Predicates on Guarded Existential Rules.Citable link to this page:

 

The Impact of Active Domain Predicates on Guarded Existential Rules

Abstract: We claim it is realistic to assume that a database management system provides access to the active domain via built-in relations. Therefore, product databases, i.e., databases that include designated predicates that hold the active domain, form a natural notion that deserves our attention. An important issue then is to look at the consequences of product databases for the expressiveness and complexity of central existential rule languages. We focus on guarded existential rules, and we investigate the impact of product databases on their expressive power and complexity. We show that the queries expressed via (frontier-)guarded rules gain in expressiveness, and in fact, they have the same expressive power as Datalog. On the other hand, there is no impact on the expressiveness of the queries specified via weakly-(frontier-)guarded rules since they are powerful enough to explicitly compute the predicates needed to access the active domain. We also observe that there is no impact on the complexity of the languages in question.

Publication status:PublishedPeer Review status:Peer reviewedVersion:Accepted manuscriptDate of acceptance:2016-07-22Notes:© Springer International Publishing Switzerland 2016. This is the accepted manuscript version of the article. The final version is available online from Springer at: [10.1007/978-3-319-45276-0_8]

Bibliographic Details

Publisher: Springer Verlag

Publisher Website: http://www.springerlink.com/?MUD=MP

Host: RR 2016: 10th International Conference on Web Reasoning and Rule Systemssee more from them

Publication Website: http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0

Issue Date: 2016-08-26Identifiers

Uuid: uuid:31005bd2-d112-4f8e-992e-0e5e9e4d72c8

Urn: uri:31005bd2-d112-4f8e-992e-0e5e9e4d72c8

Pubs-id: pubs:641029

Doi: https://doi.org/10.1007/978-3-319-45276-0_8

Issn: 0302-9743 Item Description

Type: conference-proceeding;

Version: Accepted manuscript

Relationships





Author: Gottlob, Georg - fundingEngineering and Physical Sciences Research Council grantNumberEP-M025268- Oxford, MPLS, Computer Science

Source: https://ora.ox.ac.uk/objects/uuid:31005bd2-d112-4f8e-992e-0e5e9e4d72c8



DOWNLOAD PDF




Related documents