Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962960373> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2962960373 endingPage "510" @default.
- W2962960373 startingPage "494" @default.
- W2962960373 abstract "The natural join and the inner union operations combine relations of a database. Tropashko and Spight [25] realized that these two operations are the meet and join operations in a class of lattices, known by now as the relational lattices. They proposed then lattice theory as an algebraic approach to the theory of databases, alternative to the relational algebra. Previous works [17, 23] proved that the quasiequational theory of these lattices—that is, the set of definite Horn sentences valid in all the relational lattices—is undecidable, even when the signature is restricted to the pure lattice signature. We prove here that the equational theory of relational lattices is decidable. That, is we provide an algorithm to decide if two lattice theoretic terms t, s are made equal under all interpretations in some relational lattice. We achieve this goal by showing that if an inclusion $$t le s$$ fails in any of these lattices, then it fails in a relational lattice whose size is bound by a triple exponential function of the sizes of t and s." @default.
- W2962960373 created "2019-07-30" @default.
- W2962960373 creator A5049300785 @default.
- W2962960373 date "2018-01-01" @default.
- W2962960373 modified "2023-09-25" @default.
- W2962960373 title "The Equational Theory of the Natural Join and Inner Union is Decidable" @default.
- W2962960373 cites W1489614395 @default.
- W2962960373 cites W1753706763 @default.
- W2962960373 cites W1771944222 @default.
- W2962960373 cites W1963646041 @default.
- W2962960373 cites W1990711332 @default.
- W2962960373 cites W2012917747 @default.
- W2962960373 cites W2020879982 @default.
- W2962960373 cites W2059402157 @default.
- W2962960373 cites W2093397547 @default.
- W2962960373 cites W2146163245 @default.
- W2962960373 cites W2185907055 @default.
- W2962960373 cites W2265945562 @default.
- W2962960373 cites W2490805901 @default.
- W2962960373 cites W2609335432 @default.
- W2962960373 cites W2964260489 @default.
- W2962960373 cites W4254880666 @default.
- W2962960373 doi "https://doi.org/10.1007/978-3-319-89366-2_27" @default.
- W2962960373 hasPublicationYear "2018" @default.
- W2962960373 type Work @default.
- W2962960373 sameAs 2962960373 @default.
- W2962960373 citedByCount "0" @default.
- W2962960373 crossrefType "book-chapter" @default.
- W2962960373 hasAuthorship W2962960373A5049300785 @default.
- W2962960373 hasBestOaLocation W29629603731 @default.
- W2962960373 hasConcept C114614502 @default.
- W2962960373 hasConcept C118615104 @default.
- W2962960373 hasConcept C121332964 @default.
- W2962960373 hasConcept C136119220 @default.
- W2962960373 hasConcept C153269930 @default.
- W2962960373 hasConcept C16739119 @default.
- W2962960373 hasConcept C192034797 @default.
- W2962960373 hasConcept C202444582 @default.
- W2962960373 hasConcept C24890656 @default.
- W2962960373 hasConcept C2776124973 @default.
- W2962960373 hasConcept C2781204021 @default.
- W2962960373 hasConcept C33923547 @default.
- W2962960373 hasConcept C40207289 @default.
- W2962960373 hasConcept C41008148 @default.
- W2962960373 hasConcept C5655090 @default.
- W2962960373 hasConcept C77088390 @default.
- W2962960373 hasConcept C95916125 @default.
- W2962960373 hasConcept C99436015 @default.
- W2962960373 hasConceptScore W2962960373C114614502 @default.
- W2962960373 hasConceptScore W2962960373C118615104 @default.
- W2962960373 hasConceptScore W2962960373C121332964 @default.
- W2962960373 hasConceptScore W2962960373C136119220 @default.
- W2962960373 hasConceptScore W2962960373C153269930 @default.
- W2962960373 hasConceptScore W2962960373C16739119 @default.
- W2962960373 hasConceptScore W2962960373C192034797 @default.
- W2962960373 hasConceptScore W2962960373C202444582 @default.
- W2962960373 hasConceptScore W2962960373C24890656 @default.
- W2962960373 hasConceptScore W2962960373C2776124973 @default.
- W2962960373 hasConceptScore W2962960373C2781204021 @default.
- W2962960373 hasConceptScore W2962960373C33923547 @default.
- W2962960373 hasConceptScore W2962960373C40207289 @default.
- W2962960373 hasConceptScore W2962960373C41008148 @default.
- W2962960373 hasConceptScore W2962960373C5655090 @default.
- W2962960373 hasConceptScore W2962960373C77088390 @default.
- W2962960373 hasConceptScore W2962960373C95916125 @default.
- W2962960373 hasConceptScore W2962960373C99436015 @default.
- W2962960373 hasLocation W29629603731 @default.
- W2962960373 hasLocation W29629603732 @default.
- W2962960373 hasLocation W29629603733 @default.
- W2962960373 hasLocation W29629603734 @default.
- W2962960373 hasLocation W29629603735 @default.
- W2962960373 hasLocation W29629603736 @default.
- W2962960373 hasOpenAccess W2962960373 @default.
- W2962960373 hasPrimaryLocation W29629603731 @default.
- W2962960373 hasRelatedWork W1513533855 @default.
- W2962960373 hasRelatedWork W1557879447 @default.
- W2962960373 hasRelatedWork W2002489304 @default.
- W2962960373 hasRelatedWork W2005471433 @default.
- W2962960373 hasRelatedWork W2007964756 @default.
- W2962960373 hasRelatedWork W2293935537 @default.
- W2962960373 hasRelatedWork W2613697899 @default.
- W2962960373 hasRelatedWork W2765220885 @default.
- W2962960373 hasRelatedWork W2962960373 @default.
- W2962960373 hasRelatedWork W4297832328 @default.
- W2962960373 isParatext "false" @default.
- W2962960373 isRetracted "false" @default.
- W2962960373 magId "2962960373" @default.
- W2962960373 workType "book-chapter" @default.