Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952534738> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2952534738 abstract "We study the problem of deciding satisfiability of first order logic queries over views, our aim being to delimit the boundary between the decidable and the undecidable fragments of this language. Views currently occupy a central place in database research, due to their role in applications such as information integration and data warehousing. Our main result is the identification of a decidable class of first order queries over unary conjunctive views that generalises the decidability of the classical class of first order sentences over unary relations, known as the Lowenheim class. We then demonstrate how various extensions of this class lead to undecidability and also provide some expressivity results. Besides its theoretical interest, our new decidable class is potentially interesting for use in applications such as deciding implication of complex dependencies, analysis of a restricted class of active database rules, and ontology reasoning." @default.
- W2952534738 created "2019-06-27" @default.
- W2952534738 creator A5031013029 @default.
- W2952534738 creator A5043908029 @default.
- W2952534738 creator A5053224623 @default.
- W2952534738 date "2008-03-18" @default.
- W2952534738 modified "2023-09-27" @default.
- W2952534738 title "Logical Queries over Views: Decidability and Expressiveness" @default.
- W2952534738 cites W143925898 @default.
- W2952534738 cites W1489366126 @default.
- W2952534738 cites W1510730180 @default.
- W2952534738 cites W1540715591 @default.
- W2952534738 cites W1548934150 @default.
- W2952534738 cites W1549008998 @default.
- W2952534738 cites W1556189547 @default.
- W2952534738 cites W1568581497 @default.
- W2952534738 cites W1638026557 @default.
- W2952534738 cites W1879587332 @default.
- W2952534738 cites W1969991082 @default.
- W2952534738 cites W1990890881 @default.
- W2952534738 cites W1991981864 @default.
- W2952534738 cites W1995999642 @default.
- W2952534738 cites W2013409229 @default.
- W2952534738 cites W2025198583 @default.
- W2952534738 cites W2042412119 @default.
- W2952534738 cites W2056660085 @default.
- W2952534738 cites W2105505307 @default.
- W2952534738 cites W2126004201 @default.
- W2952534738 cites W2152191782 @default.
- W2952534738 cites W2160983447 @default.
- W2952534738 cites W2798588639 @default.
- W2952534738 hasPublicationYear "2008" @default.
- W2952534738 type Work @default.
- W2952534738 sameAs 2952534738 @default.
- W2952534738 citedByCount "0" @default.
- W2952534738 crossrefType "posted-content" @default.
- W2952534738 hasAuthorship W2952534738A5031013029 @default.
- W2952534738 hasAuthorship W2952534738A5043908029 @default.
- W2952534738 hasAuthorship W2952534738A5053224623 @default.
- W2952534738 hasConcept C102993220 @default.
- W2952534738 hasConcept C118615104 @default.
- W2952534738 hasConcept C153269930 @default.
- W2952534738 hasConcept C154945302 @default.
- W2952534738 hasConcept C168773769 @default.
- W2952534738 hasConcept C192034797 @default.
- W2952534738 hasConcept C199360897 @default.
- W2952534738 hasConcept C2777212361 @default.
- W2952534738 hasConcept C33923547 @default.
- W2952534738 hasConcept C41008148 @default.
- W2952534738 hasConcept C6943359 @default.
- W2952534738 hasConcept C78023250 @default.
- W2952534738 hasConcept C80444323 @default.
- W2952534738 hasConceptScore W2952534738C102993220 @default.
- W2952534738 hasConceptScore W2952534738C118615104 @default.
- W2952534738 hasConceptScore W2952534738C153269930 @default.
- W2952534738 hasConceptScore W2952534738C154945302 @default.
- W2952534738 hasConceptScore W2952534738C168773769 @default.
- W2952534738 hasConceptScore W2952534738C192034797 @default.
- W2952534738 hasConceptScore W2952534738C199360897 @default.
- W2952534738 hasConceptScore W2952534738C2777212361 @default.
- W2952534738 hasConceptScore W2952534738C33923547 @default.
- W2952534738 hasConceptScore W2952534738C41008148 @default.
- W2952534738 hasConceptScore W2952534738C6943359 @default.
- W2952534738 hasConceptScore W2952534738C78023250 @default.
- W2952534738 hasConceptScore W2952534738C80444323 @default.
- W2952534738 hasLocation W29525347381 @default.
- W2952534738 hasOpenAccess W2952534738 @default.
- W2952534738 hasPrimaryLocation W29525347381 @default.
- W2952534738 hasRelatedWork W134239804 @default.
- W2952534738 hasRelatedWork W160240489 @default.
- W2952534738 hasRelatedWork W2004894395 @default.
- W2952534738 hasRelatedWork W2011550070 @default.
- W2952534738 hasRelatedWork W2044118198 @default.
- W2952534738 hasRelatedWork W2113835981 @default.
- W2952534738 hasRelatedWork W2120015120 @default.
- W2952534738 hasRelatedWork W2127005081 @default.
- W2952534738 hasRelatedWork W2145186931 @default.
- W2952534738 hasRelatedWork W2266299212 @default.
- W2952534738 hasRelatedWork W2404125333 @default.
- W2952534738 hasRelatedWork W2572769649 @default.
- W2952534738 hasRelatedWork W2592512401 @default.
- W2952534738 hasRelatedWork W2951476724 @default.
- W2952534738 hasRelatedWork W3034664340 @default.
- W2952534738 hasRelatedWork W3091377103 @default.
- W2952534738 hasRelatedWork W3163489037 @default.
- W2952534738 hasRelatedWork W53707990 @default.
- W2952534738 hasRelatedWork W745429934 @default.
- W2952534738 hasRelatedWork W88944231 @default.
- W2952534738 isParatext "false" @default.
- W2952534738 isRetracted "false" @default.
- W2952534738 magId "2952534738" @default.
- W2952534738 workType "article" @default.