Matches in SemOpenAlex for { <https://semopenalex.org/work/W4212857488> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W4212857488 endingPage "134" @default.
- W4212857488 startingPage "110" @default.
- W4212857488 abstract "We study here the language Datalog(≠), which is the query language obtained from Datalog by allowing equalities and inequalities in the bodies of the rules. We view Datalog(≠) as a fragment of an infinitary logic Lω and show that Lω can be characterized in terms of certain two-person pebble games. This characterization provides us with tools for investigating the expressive power of Datalog(≠). As a case study, we classify the expressibility of fixed subgraph homeomorphism queries on directed graphs. S. Fortune, J. Hopcroft, and J. Wyllie (Theoret. Comput. Sci.10 (1980), 111-121) classified the computational complexity of these queries by establishing two dichotomies, which are proper only if P ≠ NP. Without using any complexity-theoretic assumptions, we show here that the two dichotomies are indeed proper in terms of expressibility in Datalog(≠)." @default.
- W4212857488 created "2022-02-24" @default.
- W4212857488 creator A5000059818 @default.
- W4212857488 creator A5041825861 @default.
- W4212857488 date "1995-08-01" @default.
- W4212857488 modified "2023-09-27" @default.
- W4212857488 title "On the Expressive Power of Datalog: Tools and a Case Study" @default.
- W4212857488 doi "https://doi.org/10.1006/jcss.1995.1055" @default.
- W4212857488 hasPublicationYear "1995" @default.
- W4212857488 type Work @default.
- W4212857488 citedByCount "57" @default.
- W4212857488 countsByYear W42128574882013 @default.
- W4212857488 countsByYear W42128574882014 @default.
- W4212857488 countsByYear W42128574882015 @default.
- W4212857488 countsByYear W42128574882016 @default.
- W4212857488 countsByYear W42128574882017 @default.
- W4212857488 countsByYear W42128574882018 @default.
- W4212857488 countsByYear W42128574882019 @default.
- W4212857488 countsByYear W42128574882020 @default.
- W4212857488 countsByYear W42128574882023 @default.
- W4212857488 crossrefType "journal-article" @default.
- W4212857488 hasAuthorship W4212857488A5000059818 @default.
- W4212857488 hasAuthorship W4212857488A5041825861 @default.
- W4212857488 hasBestOaLocation W42128574881 @default.
- W4212857488 hasConcept C118615104 @default.
- W4212857488 hasConcept C148230440 @default.
- W4212857488 hasConcept C195818886 @default.
- W4212857488 hasConcept C199360897 @default.
- W4212857488 hasConcept C2776235265 @default.
- W4212857488 hasConcept C33923547 @default.
- W4212857488 hasConcept C41008148 @default.
- W4212857488 hasConcept C80444323 @default.
- W4212857488 hasConceptScore W4212857488C118615104 @default.
- W4212857488 hasConceptScore W4212857488C148230440 @default.
- W4212857488 hasConceptScore W4212857488C195818886 @default.
- W4212857488 hasConceptScore W4212857488C199360897 @default.
- W4212857488 hasConceptScore W4212857488C2776235265 @default.
- W4212857488 hasConceptScore W4212857488C33923547 @default.
- W4212857488 hasConceptScore W4212857488C41008148 @default.
- W4212857488 hasConceptScore W4212857488C80444323 @default.
- W4212857488 hasIssue "1" @default.
- W4212857488 hasLocation W42128574881 @default.
- W4212857488 hasOpenAccess W4212857488 @default.
- W4212857488 hasPrimaryLocation W42128574881 @default.
- W4212857488 hasRelatedWork W1502289629 @default.
- W4212857488 hasRelatedWork W1521337661 @default.
- W4212857488 hasRelatedWork W2049216635 @default.
- W4212857488 hasRelatedWork W2087528959 @default.
- W4212857488 hasRelatedWork W2105258265 @default.
- W4212857488 hasRelatedWork W2740990710 @default.
- W4212857488 hasRelatedWork W2798884761 @default.
- W4212857488 hasRelatedWork W2949461525 @default.
- W4212857488 hasRelatedWork W2966447359 @default.
- W4212857488 hasRelatedWork W4302587616 @default.
- W4212857488 hasVolume "51" @default.
- W4212857488 isParatext "false" @default.
- W4212857488 isRetracted "false" @default.
- W4212857488 workType "article" @default.