Matches in SemOpenAlex for { <https://semopenalex.org/work/W84964669> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W84964669 abstract "In recent years there has been a growing interest in the area of knowledge based systems which incorporate both database management system technology and expert system technology developed in the field of artificial intelligence. Logic-based deductive database systems (DDB's) represent a major branch of this research area. A critical problem shared by DDB's and logic programming systems in general is that of deductive control and its specification.We present the foundations of a uniform, declarative representational framework for expressing a variety of important control-relevant information and integrating many other significant, existing sources of control-relevant information while preserving compatibility with known techniques for the representation and/or processing of such information. Our approach involves the use of generalized second-order assertions of structural properties (SOP's) to convey control-relevant information which can be utilized during query compilation to generate efficient extended relational algebra programs. Our approach constitutes a simple extension to a logic based data representation and manipulation language, for the declaration of control-relevant information to be used by the system in controlling deductive processes within DDB applications, information that would otherwise have to be expressed procedurally or not expressed at all, resulting in potentially infinite computations or significant performance penalties.Four different roles of SOP's, i.e., static integrity constraints, computational constraints, constructors, and constrictors, are presented along with a set of concrete examples of their use in a prototype implementation of a DDB that supports SOP's.The concept of control-relevant information is defined as are two primary dimensions for its characterization, i.e., the imperative-assertional and the internal-external dimensions. These dimensions, in conjunction with a set of requirements for deductive control in a deductive database system, i.e., efficiency of execution, containment of potentially infinite deductions, completeness, uniformity, and perspicuity, form the basis of a detailed analysis of alternative approaches to the problem." @default.
- W84964669 created "2016-06-24" @default.
- W84964669 creator A5046830571 @default.
- W84964669 date "1987-07-01" @default.
- W84964669 modified "2023-09-28" @default.
- W84964669 title "Towards declarative control of computational deduction" @default.
- W84964669 hasPublicationYear "1987" @default.
- W84964669 type Work @default.
- W84964669 sameAs 84964669 @default.
- W84964669 citedByCount "2" @default.
- W84964669 crossrefType "journal-article" @default.
- W84964669 hasAuthorship W84964669A5046830571 @default.
- W84964669 hasConcept C128838566 @default.
- W84964669 hasConcept C154945302 @default.
- W84964669 hasConcept C161301231 @default.
- W84964669 hasConcept C192028432 @default.
- W84964669 hasConcept C199360897 @default.
- W84964669 hasConcept C41008148 @default.
- W84964669 hasConcept C77088390 @default.
- W84964669 hasConcept C80444323 @default.
- W84964669 hasConceptScore W84964669C128838566 @default.
- W84964669 hasConceptScore W84964669C154945302 @default.
- W84964669 hasConceptScore W84964669C161301231 @default.
- W84964669 hasConceptScore W84964669C192028432 @default.
- W84964669 hasConceptScore W84964669C199360897 @default.
- W84964669 hasConceptScore W84964669C41008148 @default.
- W84964669 hasConceptScore W84964669C77088390 @default.
- W84964669 hasConceptScore W84964669C80444323 @default.
- W84964669 hasLocation W849646691 @default.
- W84964669 hasOpenAccess W84964669 @default.
- W84964669 hasPrimaryLocation W849646691 @default.
- W84964669 hasRelatedWork W122153333 @default.
- W84964669 hasRelatedWork W1511206963 @default.
- W84964669 hasRelatedWork W1530563348 @default.
- W84964669 hasRelatedWork W1541810582 @default.
- W84964669 hasRelatedWork W1570275172 @default.
- W84964669 hasRelatedWork W1581060203 @default.
- W84964669 hasRelatedWork W1851133982 @default.
- W84964669 hasRelatedWork W1988608457 @default.
- W84964669 hasRelatedWork W2023928171 @default.
- W84964669 hasRelatedWork W205803809 @default.
- W84964669 hasRelatedWork W2171106590 @default.
- W84964669 hasRelatedWork W2346658183 @default.
- W84964669 hasRelatedWork W23688490 @default.
- W84964669 hasRelatedWork W2521876884 @default.
- W84964669 hasRelatedWork W2546793904 @default.
- W84964669 hasRelatedWork W2548229618 @default.
- W84964669 hasRelatedWork W2969673388 @default.
- W84964669 hasRelatedWork W3010737172 @default.
- W84964669 hasRelatedWork W3153343958 @default.
- W84964669 hasRelatedWork W3174096980 @default.
- W84964669 isParatext "false" @default.
- W84964669 isRetracted "false" @default.
- W84964669 magId "84964669" @default.
- W84964669 workType "article" @default.