Matches in SemOpenAlex for { <https://semopenalex.org/work/W132398465> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W132398465 abstract "When software designers refer to the relational calculus, what they usually mean is the set-theoretic kernel of relational database design ` la Codd and not the calculus of binary relations which was initiated by De Morgan in the 1860s. Contrary to the intuition that a binary relation is just a particular case of -ary relation, this paper shows the effectiveness of the former in explaining and reasoning about the latter. The theory of functional dependencies, which is central to such database design techniques, is addressed in a pointfree style instead of reasoning in the standard set-theoretic model ` a la Codd. It turns out that the theory becomes more general and considerably simpler. Ele- gant expressions replace lengthy formulae and easy-to-follow calculations replace pointwise proofs with lots of notation, case analyses and natural language explanations for obvious steps." @default.
- W132398465 created "2016-06-24" @default.
- W132398465 creator A5009943000 @default.
- W132398465 creator A5070407243 @default.
- W132398465 date "2005-01-01" @default.
- W132398465 modified "2023-10-18" @default.
- W132398465 title "First Steps in Pointfree Functional Dependency Theory" @default.
- W132398465 cites W1508451735 @default.
- W132398465 cites W1534679778 @default.
- W132398465 cites W1569403765 @default.
- W132398465 cites W1594279870 @default.
- W132398465 cites W2042631106 @default.
- W132398465 cites W2069112646 @default.
- W132398465 cites W2115822498 @default.
- W132398465 cites W2162621793 @default.
- W132398465 cites W2988119170 @default.
- W132398465 hasPublicationYear "2005" @default.
- W132398465 type Work @default.
- W132398465 sameAs 132398465 @default.
- W132398465 citedByCount "3" @default.
- W132398465 countsByYear W1323984652014 @default.
- W132398465 crossrefType "journal-article" @default.
- W132398465 hasAuthorship W132398465A5009943000 @default.
- W132398465 hasAuthorship W132398465A5070407243 @default.
- W132398465 hasConcept C108710211 @default.
- W132398465 hasConcept C118615104 @default.
- W132398465 hasConcept C136119220 @default.
- W132398465 hasConcept C199343813 @default.
- W132398465 hasConcept C199360897 @default.
- W132398465 hasConcept C202444582 @default.
- W132398465 hasConcept C2524010 @default.
- W132398465 hasConcept C2777686260 @default.
- W132398465 hasConcept C33923547 @default.
- W132398465 hasConcept C40207289 @default.
- W132398465 hasConcept C41008148 @default.
- W132398465 hasConcept C5655090 @default.
- W132398465 hasConcept C65180967 @default.
- W132398465 hasConcept C71924100 @default.
- W132398465 hasConcept C77088390 @default.
- W132398465 hasConcept C80444323 @default.
- W132398465 hasConceptScore W132398465C108710211 @default.
- W132398465 hasConceptScore W132398465C118615104 @default.
- W132398465 hasConceptScore W132398465C136119220 @default.
- W132398465 hasConceptScore W132398465C199343813 @default.
- W132398465 hasConceptScore W132398465C199360897 @default.
- W132398465 hasConceptScore W132398465C202444582 @default.
- W132398465 hasConceptScore W132398465C2524010 @default.
- W132398465 hasConceptScore W132398465C2777686260 @default.
- W132398465 hasConceptScore W132398465C33923547 @default.
- W132398465 hasConceptScore W132398465C40207289 @default.
- W132398465 hasConceptScore W132398465C41008148 @default.
- W132398465 hasConceptScore W132398465C5655090 @default.
- W132398465 hasConceptScore W132398465C65180967 @default.
- W132398465 hasConceptScore W132398465C71924100 @default.
- W132398465 hasConceptScore W132398465C77088390 @default.
- W132398465 hasConceptScore W132398465C80444323 @default.
- W132398465 hasLocation W1323984651 @default.
- W132398465 hasOpenAccess W132398465 @default.
- W132398465 hasPrimaryLocation W1323984651 @default.
- W132398465 hasRelatedWork W1541966923 @default.
- W132398465 hasRelatedWork W1599561194 @default.
- W132398465 hasRelatedWork W1996742209 @default.
- W132398465 hasRelatedWork W2101443478 @default.
- W132398465 hasRelatedWork W2142191419 @default.
- W132398465 hasRelatedWork W2184413803 @default.
- W132398465 hasRelatedWork W2200042429 @default.
- W132398465 hasRelatedWork W2295772218 @default.
- W132398465 hasRelatedWork W2365634822 @default.
- W132398465 hasRelatedWork W2425169737 @default.
- W132398465 hasRelatedWork W2530798984 @default.
- W132398465 hasRelatedWork W2741834483 @default.
- W132398465 hasRelatedWork W2942487569 @default.
- W132398465 hasRelatedWork W2949532401 @default.
- W132398465 hasRelatedWork W2950833999 @default.
- W132398465 hasRelatedWork W2973608737 @default.
- W132398465 hasRelatedWork W2978457387 @default.
- W132398465 hasRelatedWork W3121221891 @default.
- W132398465 hasRelatedWork W31726234 @default.
- W132398465 hasRelatedWork W643897681 @default.
- W132398465 isParatext "false" @default.
- W132398465 isRetracted "false" @default.
- W132398465 magId "132398465" @default.
- W132398465 workType "article" @default.