Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102391036> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3102391036 abstract "We study the program complexity of datalog on both finite and infinite linear orders. Our main result states that on all linear orders with at least two elements, the nonemptiness problem for datalog is EXPTIME-complete. While containment of the nonemptiness problem in EXPTIME is known for finite linear orders and actually for arbitrary finite structures, it is not obvious for infinite linear orders. It sharply contrasts the situation on other infinite structures; for example, the datalog nonemptiness problem on an infinite successor structure is undecidable. We extend our upper bound results to infinite linear orders with constants. As an application, we show that the datalog nonemptiness problem on Allen's interval algebra is EXPTIME-complete." @default.
- W3102391036 created "2020-11-23" @default.
- W3102391036 creator A5060470003 @default.
- W3102391036 creator A5073893026 @default.
- W3102391036 date "2009-02-27" @default.
- W3102391036 modified "2023-09-27" @default.
- W3102391036 title "The Complexity of Datalog on Linear Orders" @default.
- W3102391036 cites W1547414429 @default.
- W3102391036 cites W1983914494 @default.
- W3102391036 cites W1989783863 @default.
- W3102391036 cites W1995214664 @default.
- W3102391036 cites W1996011776 @default.
- W3102391036 cites W2009092207 @default.
- W3102391036 cites W2009098458 @default.
- W3102391036 cites W2025868887 @default.
- W3102391036 cites W2070051236 @default.
- W3102391036 cites W2070632872 @default.
- W3102391036 cites W2073845305 @default.
- W3102391036 cites W2076108709 @default.
- W3102391036 cites W2104048625 @default.
- W3102391036 cites W2111465050 @default.
- W3102391036 cites W2140587192 @default.
- W3102391036 cites W2161484642 @default.
- W3102391036 cites W2316437449 @default.
- W3102391036 cites W4212857488 @default.
- W3102391036 cites W1556402419 @default.
- W3102391036 doi "https://doi.org/10.2168/lmcs-5(1:4)2009" @default.
- W3102391036 hasPublicationYear "2009" @default.
- W3102391036 type Work @default.
- W3102391036 sameAs 3102391036 @default.
- W3102391036 citedByCount "3" @default.
- W3102391036 countsByYear W31023910362012 @default.
- W3102391036 countsByYear W31023910362013 @default.
- W3102391036 crossrefType "journal-article" @default.
- W3102391036 hasAuthorship W3102391036A5060470003 @default.
- W3102391036 hasAuthorship W3102391036A5073893026 @default.
- W3102391036 hasBestOaLocation W31023910361 @default.
- W3102391036 hasConcept C11413529 @default.
- W3102391036 hasConcept C114614502 @default.
- W3102391036 hasConcept C118615104 @default.
- W3102391036 hasConcept C148230440 @default.
- W3102391036 hasConcept C153269930 @default.
- W3102391036 hasConcept C167930466 @default.
- W3102391036 hasConcept C179799912 @default.
- W3102391036 hasConcept C192034797 @default.
- W3102391036 hasConcept C197685441 @default.
- W3102391036 hasConcept C2778067643 @default.
- W3102391036 hasConcept C33923547 @default.
- W3102391036 hasConcept C41008148 @default.
- W3102391036 hasConcept C56049555 @default.
- W3102391036 hasConcept C80444323 @default.
- W3102391036 hasConceptScore W3102391036C11413529 @default.
- W3102391036 hasConceptScore W3102391036C114614502 @default.
- W3102391036 hasConceptScore W3102391036C118615104 @default.
- W3102391036 hasConceptScore W3102391036C148230440 @default.
- W3102391036 hasConceptScore W3102391036C153269930 @default.
- W3102391036 hasConceptScore W3102391036C167930466 @default.
- W3102391036 hasConceptScore W3102391036C179799912 @default.
- W3102391036 hasConceptScore W3102391036C192034797 @default.
- W3102391036 hasConceptScore W3102391036C197685441 @default.
- W3102391036 hasConceptScore W3102391036C2778067643 @default.
- W3102391036 hasConceptScore W3102391036C33923547 @default.
- W3102391036 hasConceptScore W3102391036C41008148 @default.
- W3102391036 hasConceptScore W3102391036C56049555 @default.
- W3102391036 hasConceptScore W3102391036C80444323 @default.
- W3102391036 hasIssue "1" @default.
- W3102391036 hasLocation W31023910361 @default.
- W3102391036 hasLocation W31023910362 @default.
- W3102391036 hasLocation W31023910363 @default.
- W3102391036 hasLocation W31023910364 @default.
- W3102391036 hasOpenAccess W3102391036 @default.
- W3102391036 hasPrimaryLocation W31023910361 @default.
- W3102391036 hasRelatedWork W2047754004 @default.
- W3102391036 hasRelatedWork W2056142535 @default.
- W3102391036 hasRelatedWork W2087983477 @default.
- W3102391036 hasRelatedWork W2551830925 @default.
- W3102391036 hasRelatedWork W2620074062 @default.
- W3102391036 hasRelatedWork W2963364464 @default.
- W3102391036 hasRelatedWork W2963589932 @default.
- W3102391036 hasRelatedWork W3102391036 @default.
- W3102391036 hasRelatedWork W3144220040 @default.
- W3102391036 hasRelatedWork W4297923768 @default.
- W3102391036 hasVolume "5" @default.
- W3102391036 isParatext "false" @default.
- W3102391036 isRetracted "false" @default.
- W3102391036 magId "3102391036" @default.
- W3102391036 workType "article" @default.