Matches in SemOpenAlex for { <https://semopenalex.org/work/W2173671708> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2173671708 abstract "This paper addresses some basic problems regarding logic programming based queries over relational databases. We re-examine the query classes H and YE+ defined by Chandra and Harel [2] We define H+ and YE++ which differ from H and YE+ in that the use of equality (=) and inequality (≠) is prohibited. We show that H+ is more expressive than YE++ and that any H+ program can be transformed into an equivalent H+ program containing a single recursive predicate without using the equality or inequality operators. As a corollary we obtain a fixpoint formula characterization of H+ queries.We consider the problems of determining containment, equivalence, and satisfiability of logic based queries. The containment and equivalence problems addressed here extend the work of Aho, Sagiv and Ullman on relational queries [1] and Papadimitrious on Prolog [10]. As corollaries we show that determining safety and literal redundancy are both undecidable problems." @default.
- W2173671708 created "2016-06-24" @default.
- W2173671708 creator A5047193562 @default.
- W2173671708 date "1986-01-01" @default.
- W2173671708 modified "2023-09-27" @default.
- W2173671708 title "Decidability and Expressiveness Aspects of Logic Queries." @default.
- W2173671708 hasPublicationYear "1986" @default.
- W2173671708 type Work @default.
- W2173671708 sameAs 2173671708 @default.
- W2173671708 citedByCount "1" @default.
- W2173671708 crossrefType "journal-article" @default.
- W2173671708 hasAuthorship W2173671708A5047193562 @default.
- W2173671708 hasConcept C118615104 @default.
- W2173671708 hasConcept C128838566 @default.
- W2173671708 hasConcept C140146324 @default.
- W2173671708 hasConcept C148230440 @default.
- W2173671708 hasConcept C153269930 @default.
- W2173671708 hasConcept C168773769 @default.
- W2173671708 hasConcept C192034797 @default.
- W2173671708 hasConcept C199360897 @default.
- W2173671708 hasConcept C2780012671 @default.
- W2173671708 hasConcept C2780069185 @default.
- W2173671708 hasConcept C33923547 @default.
- W2173671708 hasConcept C41008148 @default.
- W2173671708 hasConcept C5655090 @default.
- W2173671708 hasConcept C65647387 @default.
- W2173671708 hasConcept C70846408 @default.
- W2173671708 hasConcept C77088390 @default.
- W2173671708 hasConcept C80444323 @default.
- W2173671708 hasConcept C81721847 @default.
- W2173671708 hasConceptScore W2173671708C118615104 @default.
- W2173671708 hasConceptScore W2173671708C128838566 @default.
- W2173671708 hasConceptScore W2173671708C140146324 @default.
- W2173671708 hasConceptScore W2173671708C148230440 @default.
- W2173671708 hasConceptScore W2173671708C153269930 @default.
- W2173671708 hasConceptScore W2173671708C168773769 @default.
- W2173671708 hasConceptScore W2173671708C192034797 @default.
- W2173671708 hasConceptScore W2173671708C199360897 @default.
- W2173671708 hasConceptScore W2173671708C2780012671 @default.
- W2173671708 hasConceptScore W2173671708C2780069185 @default.
- W2173671708 hasConceptScore W2173671708C33923547 @default.
- W2173671708 hasConceptScore W2173671708C41008148 @default.
- W2173671708 hasConceptScore W2173671708C5655090 @default.
- W2173671708 hasConceptScore W2173671708C65647387 @default.
- W2173671708 hasConceptScore W2173671708C70846408 @default.
- W2173671708 hasConceptScore W2173671708C77088390 @default.
- W2173671708 hasConceptScore W2173671708C80444323 @default.
- W2173671708 hasConceptScore W2173671708C81721847 @default.
- W2173671708 hasLocation W21736717081 @default.
- W2173671708 hasOpenAccess W2173671708 @default.
- W2173671708 hasPrimaryLocation W21736717081 @default.
- W2173671708 hasRelatedWork W1509216933 @default.
- W2173671708 hasRelatedWork W1529101537 @default.
- W2173671708 hasRelatedWork W1538382614 @default.
- W2173671708 hasRelatedWork W1563189470 @default.
- W2173671708 hasRelatedWork W1573467490 @default.
- W2173671708 hasRelatedWork W1968968780 @default.
- W2173671708 hasRelatedWork W1971626643 @default.
- W2173671708 hasRelatedWork W1998162300 @default.
- W2173671708 hasRelatedWork W2081791214 @default.
- W2173671708 hasRelatedWork W2103178808 @default.
- W2173671708 hasRelatedWork W2114438303 @default.
- W2173671708 hasRelatedWork W2135620221 @default.
- W2173671708 hasRelatedWork W2143332976 @default.
- W2173671708 hasRelatedWork W2171444360 @default.
- W2173671708 hasRelatedWork W2263859483 @default.
- W2173671708 hasRelatedWork W2403380599 @default.
- W2173671708 hasRelatedWork W2743286910 @default.
- W2173671708 hasRelatedWork W2998068914 @default.
- W2173671708 hasRelatedWork W3081110571 @default.
- W2173671708 hasRelatedWork W3089623425 @default.
- W2173671708 isParatext "false" @default.
- W2173671708 isRetracted "false" @default.
- W2173671708 magId "2173671708" @default.
- W2173671708 workType "article" @default.