Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088095785> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2088095785 endingPage "232" @default.
- W2088095785 startingPage "217" @default.
- W2088095785 abstract "A logic-based data base system combines data manipulation capabilities of conventional data base management systems (DBMS) and theorem-proving capabilities of logic systems. A deductive data base system is a homogeneous logic-based data base system in which only one programming system is used for both data base access operations and inferential functions. Logic systems such as Prolog are convenient for representing deductive axioms. However, because they lack the data base processing efficiency of conventional DBMSs, they are inadequate for very large data bases. In this paper, we propose to investigate the capabilities of traditional relational DBMSs, such as those based on the language SQL, as deductive data base systems. Since deductive axioms generate information in the form of virtual relations, they have a strong affinity to views in relational systems. Therefore, we can readily represent deductive axioms as views in relational data base systems. We demonstrate that Horn clauses as well as data base integrity constraints can be formulated as views without difficulty. Deductive axioms involving negation can also be formulated as views, provided the set difference operator is used for negated formulas. However, since the transitive closure operator is not implemented in conventional relational systems, such systems cannot process recursive deductive axioms. Relational DBMSs can be rendered almost fully deductive by incorporating into their design recursive axiom processing abilities and better view processing techniques." @default.
- W2088095785 created "2016-06-24" @default.
- W2088095785 creator A5090845274 @default.
- W2088095785 date "1991-07-01" @default.
- W2088095785 modified "2023-10-17" @default.
- W2088095785 title "Knowledge representation using views in relational deductive data bases" @default.
- W2088095785 cites W125960988 @default.
- W2088095785 cites W134359639 @default.
- W2088095785 cites W1496815773 @default.
- W2088095785 cites W1511014465 @default.
- W2088095785 cites W1524811847 @default.
- W2088095785 cites W1551066637 @default.
- W2088095785 cites W2072627547 @default.
- W2088095785 cites W2105486835 @default.
- W2088095785 cites W2411085520 @default.
- W2088095785 cites W2751199251 @default.
- W2088095785 doi "https://doi.org/10.1016/0164-1212(91)90038-8" @default.
- W2088095785 hasPublicationYear "1991" @default.
- W2088095785 type Work @default.
- W2088095785 sameAs 2088095785 @default.
- W2088095785 citedByCount "3" @default.
- W2088095785 countsByYear W20880957852017 @default.
- W2088095785 crossrefType "journal-article" @default.
- W2088095785 hasAuthorship W2088095785A5090845274 @default.
- W2088095785 hasConcept C118615104 @default.
- W2088095785 hasConcept C128838566 @default.
- W2088095785 hasConcept C128896722 @default.
- W2088095785 hasConcept C134306372 @default.
- W2088095785 hasConcept C148230440 @default.
- W2088095785 hasConcept C167729594 @default.
- W2088095785 hasConcept C189790780 @default.
- W2088095785 hasConcept C199360897 @default.
- W2088095785 hasConcept C24394798 @default.
- W2088095785 hasConcept C2524010 @default.
- W2088095785 hasConcept C2777502361 @default.
- W2088095785 hasConcept C33762810 @default.
- W2088095785 hasConcept C33923547 @default.
- W2088095785 hasConcept C41008148 @default.
- W2088095785 hasConcept C42058472 @default.
- W2088095785 hasConcept C56288433 @default.
- W2088095785 hasConcept C5655090 @default.
- W2088095785 hasConcept C77088390 @default.
- W2088095785 hasConcept C80444323 @default.
- W2088095785 hasConcept C81721847 @default.
- W2088095785 hasConceptScore W2088095785C118615104 @default.
- W2088095785 hasConceptScore W2088095785C128838566 @default.
- W2088095785 hasConceptScore W2088095785C128896722 @default.
- W2088095785 hasConceptScore W2088095785C134306372 @default.
- W2088095785 hasConceptScore W2088095785C148230440 @default.
- W2088095785 hasConceptScore W2088095785C167729594 @default.
- W2088095785 hasConceptScore W2088095785C189790780 @default.
- W2088095785 hasConceptScore W2088095785C199360897 @default.
- W2088095785 hasConceptScore W2088095785C24394798 @default.
- W2088095785 hasConceptScore W2088095785C2524010 @default.
- W2088095785 hasConceptScore W2088095785C2777502361 @default.
- W2088095785 hasConceptScore W2088095785C33762810 @default.
- W2088095785 hasConceptScore W2088095785C33923547 @default.
- W2088095785 hasConceptScore W2088095785C41008148 @default.
- W2088095785 hasConceptScore W2088095785C42058472 @default.
- W2088095785 hasConceptScore W2088095785C56288433 @default.
- W2088095785 hasConceptScore W2088095785C5655090 @default.
- W2088095785 hasConceptScore W2088095785C77088390 @default.
- W2088095785 hasConceptScore W2088095785C80444323 @default.
- W2088095785 hasConceptScore W2088095785C81721847 @default.
- W2088095785 hasIssue "3" @default.
- W2088095785 hasLocation W20880957851 @default.
- W2088095785 hasOpenAccess W2088095785 @default.
- W2088095785 hasPrimaryLocation W20880957851 @default.
- W2088095785 hasRelatedWork W1479932045 @default.
- W2088095785 hasRelatedWork W1517300050 @default.
- W2088095785 hasRelatedWork W1965338409 @default.
- W2088095785 hasRelatedWork W1973135411 @default.
- W2088095785 hasRelatedWork W2076891835 @default.
- W2088095785 hasRelatedWork W2088095785 @default.
- W2088095785 hasRelatedWork W2184636143 @default.
- W2088095785 hasRelatedWork W2902695556 @default.
- W2088095785 hasRelatedWork W2474462291 @default.
- W2088095785 hasRelatedWork W3014088202 @default.
- W2088095785 hasVolume "15" @default.
- W2088095785 isParatext "false" @default.
- W2088095785 isRetracted "false" @default.
- W2088095785 magId "2088095785" @default.
- W2088095785 workType "article" @default.