Matches in SemOpenAlex for { <https://semopenalex.org/work/W205944785> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W205944785 abstract "In this paper, we consider the problem of expressing and computing PTIME queries to relational deductive databases in a purely declarative query language we introduce, called SHQL (Semi-Horn Query Language). Assuming the relational databases in question are ordered, we show that all SHQL queries are computable in PTIME and the whole class of PTIME queries is expressible in SHQL. Although similar results have been proven for xpoint languages and extensions to datalog, the claim is that SHQL has the advantage of being purely declarative, where the negation operator is interpreted as classical negation, mixed quanti ers may be used and a query is simply a restricted rst-order theory not limited by the rule-based syntactic restrictions associated with logic programs in general. We describe the PTIME algorithm used to compute queries in SHQL which is based in part on quanti er elimination techniques and also consider extending the method to incomplete relational databases using intuitions related to circumscription techniques. This article is published in the Journal of Logic and Computation 9(5):737758, 1999." @default.
- W205944785 created "2016-06-24" @default.
- W205944785 creator A5007619026 @default.
- W205944785 creator A5043644928 @default.
- W205944785 creator A5045311766 @default.
- W205944785 date "1996-01-01" @default.
- W205944785 modified "2023-09-24" @default.
- W205944785 title "Declarative ptime queries to relational databases." @default.
- W205944785 cites W1495098865 @default.
- W205944785 cites W1528554995 @default.
- W205944785 cites W1536469384 @default.
- W205944785 cites W1694340589 @default.
- W205944785 cites W171847277 @default.
- W205944785 cites W1989151171 @default.
- W205944785 cites W2057503265 @default.
- W205944785 cites W2078625208 @default.
- W205944785 cites W2088094394 @default.
- W205944785 hasPublicationYear "1996" @default.
- W205944785 type Work @default.
- W205944785 sameAs 205944785 @default.
- W205944785 citedByCount "0" @default.
- W205944785 crossrefType "journal-article" @default.
- W205944785 hasAuthorship W205944785A5007619026 @default.
- W205944785 hasAuthorship W205944785A5043644928 @default.
- W205944785 hasAuthorship W205944785A5045311766 @default.
- W205944785 hasConcept C102993220 @default.
- W205944785 hasConcept C11413529 @default.
- W205944785 hasConcept C128838566 @default.
- W205944785 hasConcept C134026603 @default.
- W205944785 hasConcept C148230440 @default.
- W205944785 hasConcept C154945302 @default.
- W205944785 hasConcept C164120249 @default.
- W205944785 hasConcept C192028432 @default.
- W205944785 hasConcept C192939062 @default.
- W205944785 hasConcept C199360897 @default.
- W205944785 hasConcept C2185349 @default.
- W205944785 hasConcept C23123220 @default.
- W205944785 hasConcept C24755975 @default.
- W205944785 hasConcept C2777212361 @default.
- W205944785 hasConcept C2987117450 @default.
- W205944785 hasConcept C311688 @default.
- W205944785 hasConcept C41008148 @default.
- W205944785 hasConcept C5655090 @default.
- W205944785 hasConcept C65647387 @default.
- W205944785 hasConcept C77088390 @default.
- W205944785 hasConcept C80444323 @default.
- W205944785 hasConcept C97854310 @default.
- W205944785 hasConceptScore W205944785C102993220 @default.
- W205944785 hasConceptScore W205944785C11413529 @default.
- W205944785 hasConceptScore W205944785C128838566 @default.
- W205944785 hasConceptScore W205944785C134026603 @default.
- W205944785 hasConceptScore W205944785C148230440 @default.
- W205944785 hasConceptScore W205944785C154945302 @default.
- W205944785 hasConceptScore W205944785C164120249 @default.
- W205944785 hasConceptScore W205944785C192028432 @default.
- W205944785 hasConceptScore W205944785C192939062 @default.
- W205944785 hasConceptScore W205944785C199360897 @default.
- W205944785 hasConceptScore W205944785C2185349 @default.
- W205944785 hasConceptScore W205944785C23123220 @default.
- W205944785 hasConceptScore W205944785C24755975 @default.
- W205944785 hasConceptScore W205944785C2777212361 @default.
- W205944785 hasConceptScore W205944785C2987117450 @default.
- W205944785 hasConceptScore W205944785C311688 @default.
- W205944785 hasConceptScore W205944785C41008148 @default.
- W205944785 hasConceptScore W205944785C5655090 @default.
- W205944785 hasConceptScore W205944785C65647387 @default.
- W205944785 hasConceptScore W205944785C77088390 @default.
- W205944785 hasConceptScore W205944785C80444323 @default.
- W205944785 hasConceptScore W205944785C97854310 @default.
- W205944785 hasLocation W2059447851 @default.
- W205944785 hasOpenAccess W205944785 @default.
- W205944785 hasPrimaryLocation W2059447851 @default.
- W205944785 hasRelatedWork W1479739377 @default.
- W205944785 hasRelatedWork W1525937901 @default.
- W205944785 hasRelatedWork W1935646637 @default.
- W205944785 hasRelatedWork W1982146696 @default.
- W205944785 hasRelatedWork W2033267049 @default.
- W205944785 hasRelatedWork W2039145913 @default.
- W205944785 hasRelatedWork W2152433756 @default.
- W205944785 hasRelatedWork W2161421551 @default.
- W205944785 hasRelatedWork W2193692765 @default.
- W205944785 hasRelatedWork W2218875301 @default.
- W205944785 hasRelatedWork W2400419823 @default.
- W205944785 hasRelatedWork W2404803650 @default.
- W205944785 hasRelatedWork W2406229550 @default.
- W205944785 hasRelatedWork W2524895715 @default.
- W205944785 hasRelatedWork W2594438615 @default.
- W205944785 hasRelatedWork W2627009961 @default.
- W205944785 hasRelatedWork W2964605403 @default.
- W205944785 hasRelatedWork W2972418141 @default.
- W205944785 hasRelatedWork W2982807306 @default.
- W205944785 hasRelatedWork W3139340598 @default.
- W205944785 isParatext "false" @default.
- W205944785 isRetracted "false" @default.
- W205944785 magId "205944785" @default.
- W205944785 workType "article" @default.