Matches in SemOpenAlex for { <https://semopenalex.org/work/W1496815773> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1496815773 endingPage "238" @default.
- W1496815773 startingPage "191" @default.
- W1496815773 abstract "Insofar as database theory can be said to owe a debt to logic, the currency on loan is model theoretic in the sense that a database can be viewed as a particular kind of first order interpretation, and query evaluation is a process of truth functional evaluation of first order formulae with respect, to this interpretation. It is this model theoretic paradigm which leads, for example, to many valued propositional logics for databases with null values.In this chapter I argue that a proof theoretic view of databases is possible, and indeed much morefiruitful. Specifically, I show how relational databases can be seen as special theories of gist order logic, namely theories incorporating the fiollowing assumptions: 1. The domain closure assumption. The individuals occurring in the database are all and only the existing individuals. 2. The unique name assumption. Individuals with distinct names are distinct. 3. The closed world assumption. The only possible instances of a rela¬tion are those implied by the database. It will follow that a proof theoretic paradigm for relational databases provides a correct treatment of: 1. Query evaluation,for databases that have incomplete information, including null values. 2. Integrity constraints and their enforcement. 3. Conceptual modelling and the extension of the relational model to incorporate more real world semantics." @default.
- W1496815773 created "2016-06-24" @default.
- W1496815773 creator A5005611871 @default.
- W1496815773 date "1984-01-01" @default.
- W1496815773 modified "2023-10-18" @default.
- W1496815773 title "Towards a Logical Reconstruction of Relational Database Theory" @default.
- W1496815773 cites W119495920 @default.
- W1496815773 cites W1766332311 @default.
- W1496815773 cites W1968915456 @default.
- W1496815773 cites W1970457902 @default.
- W1496815773 cites W1973644634 @default.
- W1496815773 cites W2003017562 @default.
- W1496815773 cites W2010013526 @default.
- W1496815773 cites W2011308078 @default.
- W1496815773 cites W2027750453 @default.
- W1496815773 cites W2028289124 @default.
- W1496815773 cites W2031929451 @default.
- W1496815773 cites W2039601877 @default.
- W1496815773 cites W2059572526 @default.
- W1496815773 cites W2105486835 @default.
- W1496815773 cites W2122789628 @default.
- W1496815773 cites W2155322595 @default.
- W1496815773 cites W2165467455 @default.
- W1496815773 cites W2945259913 @default.
- W1496815773 cites W3112300347 @default.
- W1496815773 doi "https://doi.org/10.1007/978-1-4612-5196-5_8" @default.
- W1496815773 hasPublicationYear "1984" @default.
- W1496815773 type Work @default.
- W1496815773 sameAs 1496815773 @default.
- W1496815773 citedByCount "430" @default.
- W1496815773 countsByYear W14968157732012 @default.
- W1496815773 countsByYear W14968157732013 @default.
- W1496815773 countsByYear W14968157732014 @default.
- W1496815773 countsByYear W14968157732015 @default.
- W1496815773 countsByYear W14968157732016 @default.
- W1496815773 countsByYear W14968157732017 @default.
- W1496815773 countsByYear W14968157732018 @default.
- W1496815773 countsByYear W14968157732020 @default.
- W1496815773 countsByYear W14968157732021 @default.
- W1496815773 countsByYear W14968157732022 @default.
- W1496815773 countsByYear W14968157732023 @default.
- W1496815773 crossrefType "book-chapter" @default.
- W1496815773 hasAuthorship W1496815773A5005611871 @default.
- W1496815773 hasConcept C12439846 @default.
- W1496815773 hasConcept C199360897 @default.
- W1496815773 hasConcept C203763787 @default.
- W1496815773 hasConcept C40207289 @default.
- W1496815773 hasConcept C41008148 @default.
- W1496815773 hasConcept C527412718 @default.
- W1496815773 hasConcept C5655090 @default.
- W1496815773 hasConcept C5968703 @default.
- W1496815773 hasConcept C77088390 @default.
- W1496815773 hasConceptScore W1496815773C12439846 @default.
- W1496815773 hasConceptScore W1496815773C199360897 @default.
- W1496815773 hasConceptScore W1496815773C203763787 @default.
- W1496815773 hasConceptScore W1496815773C40207289 @default.
- W1496815773 hasConceptScore W1496815773C41008148 @default.
- W1496815773 hasConceptScore W1496815773C527412718 @default.
- W1496815773 hasConceptScore W1496815773C5655090 @default.
- W1496815773 hasConceptScore W1496815773C5968703 @default.
- W1496815773 hasConceptScore W1496815773C77088390 @default.
- W1496815773 hasLocation W14968157731 @default.
- W1496815773 hasOpenAccess W1496815773 @default.
- W1496815773 hasPrimaryLocation W14968157731 @default.
- W1496815773 hasRelatedWork W1502610062 @default.
- W1496815773 hasRelatedWork W2044272255 @default.
- W1496815773 hasRelatedWork W2355364777 @default.
- W1496815773 hasRelatedWork W2386848747 @default.
- W1496815773 hasRelatedWork W2512945146 @default.
- W1496815773 hasRelatedWork W2685275146 @default.
- W1496815773 hasRelatedWork W279222092 @default.
- W1496815773 hasRelatedWork W2980088332 @default.
- W1496815773 hasRelatedWork W2991136526 @default.
- W1496815773 hasRelatedWork W3085968255 @default.
- W1496815773 isParatext "false" @default.
- W1496815773 isRetracted "false" @default.
- W1496815773 magId "1496815773" @default.
- W1496815773 workType "book-chapter" @default.