Matches in SemOpenAlex for { <https://semopenalex.org/work/W2545013552> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2545013552 abstract "Highlights in three areas are discussed: (1) efficient algorithms for evaluating declarative logic, with 'declarative' referring to logical rules (if . . . then statements) whose intended meaning is the minimal fixpoint, that is, the set of deducible facts; (2) methods for dealing with nonmonotonic logic, that is, with sets of rules that do not have a unique minimal fixpoint to serve as the natural meaning of the logical rules; and (3) extensions to traditional first-order logic that offer capabilities beyond that found in first-order-logic systems, of which the Structured Query Language (SQL) is the most significant example. These extensions include the ability to support objects, side effects, and higher order features, such as predicates (essentially relation names) as variables. Effectively, these extensions introduce many of the features associated with object-oriented database systems into the domain of logic languages. >" @default.
- W2545013552 created "2016-11-04" @default.
- W2545013552 creator A5089065417 @default.
- W2545013552 date "2002-12-04" @default.
- W2545013552 modified "2023-09-25" @default.
- W2545013552 title "The theory of deductive database systems" @default.
- W2545013552 cites W118546801 @default.
- W2545013552 cites W1570025952 @default.
- W2545013552 cites W1582573023 @default.
- W2545013552 cites W1968513265 @default.
- W2545013552 cites W1984890936 @default.
- W2545013552 cites W1987660355 @default.
- W2545013552 cites W1989910224 @default.
- W2545013552 cites W2003932754 @default.
- W2545013552 cites W2031868932 @default.
- W2545013552 cites W2035890683 @default.
- W2545013552 cites W2036240164 @default.
- W2545013552 cites W2040019628 @default.
- W2545013552 cites W2070553391 @default.
- W2545013552 cites W2089967388 @default.
- W2545013552 cites W2091631741 @default.
- W2545013552 cites W2093117456 @default.
- W2545013552 cites W2104150717 @default.
- W2545013552 cites W2111353076 @default.
- W2545013552 cites W2132745831 @default.
- W2545013552 cites W2139875914 @default.
- W2545013552 cites W2157221482 @default.
- W2545013552 cites W2164299311 @default.
- W2545013552 cites W2587041094 @default.
- W2545013552 cites W266212533 @default.
- W2545013552 doi "https://doi.org/10.1109/cmpcon.1990.63730" @default.
- W2545013552 hasPublicationYear "2002" @default.
- W2545013552 type Work @default.
- W2545013552 sameAs 2545013552 @default.
- W2545013552 citedByCount "4" @default.
- W2545013552 crossrefType "proceedings-article" @default.
- W2545013552 hasAuthorship W2545013552A5089065417 @default.
- W2545013552 hasConcept C100481476 @default.
- W2545013552 hasConcept C102993220 @default.
- W2545013552 hasConcept C128838566 @default.
- W2545013552 hasConcept C134752490 @default.
- W2545013552 hasConcept C144791301 @default.
- W2545013552 hasConcept C154945302 @default.
- W2545013552 hasConcept C15744967 @default.
- W2545013552 hasConcept C169896238 @default.
- W2545013552 hasConcept C177264268 @default.
- W2545013552 hasConcept C189790780 @default.
- W2545013552 hasConcept C199360897 @default.
- W2545013552 hasConcept C2780876879 @default.
- W2545013552 hasConcept C2781238097 @default.
- W2545013552 hasConcept C41008148 @default.
- W2545013552 hasConcept C510870499 @default.
- W2545013552 hasConcept C542102704 @default.
- W2545013552 hasConcept C80444323 @default.
- W2545013552 hasConceptScore W2545013552C100481476 @default.
- W2545013552 hasConceptScore W2545013552C102993220 @default.
- W2545013552 hasConceptScore W2545013552C128838566 @default.
- W2545013552 hasConceptScore W2545013552C134752490 @default.
- W2545013552 hasConceptScore W2545013552C144791301 @default.
- W2545013552 hasConceptScore W2545013552C154945302 @default.
- W2545013552 hasConceptScore W2545013552C15744967 @default.
- W2545013552 hasConceptScore W2545013552C169896238 @default.
- W2545013552 hasConceptScore W2545013552C177264268 @default.
- W2545013552 hasConceptScore W2545013552C189790780 @default.
- W2545013552 hasConceptScore W2545013552C199360897 @default.
- W2545013552 hasConceptScore W2545013552C2780876879 @default.
- W2545013552 hasConceptScore W2545013552C2781238097 @default.
- W2545013552 hasConceptScore W2545013552C41008148 @default.
- W2545013552 hasConceptScore W2545013552C510870499 @default.
- W2545013552 hasConceptScore W2545013552C542102704 @default.
- W2545013552 hasConceptScore W2545013552C80444323 @default.
- W2545013552 hasLocation W25450135521 @default.
- W2545013552 hasOpenAccess W2545013552 @default.
- W2545013552 hasPrimaryLocation W25450135521 @default.
- W2545013552 hasRelatedWork W1583625278 @default.
- W2545013552 hasRelatedWork W1584137897 @default.
- W2545013552 hasRelatedWork W1969518459 @default.
- W2545013552 hasRelatedWork W1992794735 @default.
- W2545013552 hasRelatedWork W2012767403 @default.
- W2545013552 hasRelatedWork W203627764 @default.
- W2545013552 hasRelatedWork W2134457214 @default.
- W2545013552 hasRelatedWork W2184413803 @default.
- W2545013552 hasRelatedWork W2189000975 @default.
- W2545013552 hasRelatedWork W2292428295 @default.
- W2545013552 hasRelatedWork W2294530123 @default.
- W2545013552 hasRelatedWork W2425169737 @default.
- W2545013552 hasRelatedWork W2472215201 @default.
- W2545013552 hasRelatedWork W2509226929 @default.
- W2545013552 hasRelatedWork W2523373054 @default.
- W2545013552 hasRelatedWork W2658295792 @default.
- W2545013552 hasRelatedWork W2911538936 @default.
- W2545013552 hasRelatedWork W2973608737 @default.
- W2545013552 hasRelatedWork W3121221891 @default.
- W2545013552 hasRelatedWork W71343783 @default.
- W2545013552 isParatext "false" @default.
- W2545013552 isRetracted "false" @default.
- W2545013552 magId "2545013552" @default.
- W2545013552 workType "article" @default.