Titlebook: Logic and Data Bases; Hervé Gallaire,Jack Minker Book 1978 Springer Science+Business Media New York 1978 Area.Logic.Mathematica.framework.

Menthol

书目名称Logic and Data Bases影响因子(影响力)




书目名称Logic and Data Bases影响因子(影响力)学科排名




书目名称Logic and Data Bases网络公开度




书目名称Logic and Data Bases网络公开度学科排名




书目名称Logic and Data Bases被引频次




书目名称Logic and Data Bases被引频次学科排名




书目名称Logic and Data Bases年度引用




书目名称Logic and Data Bases年度引用学科排名




书目名称Logic and Data Bases读者反馈




书目名称Logic and Data Bases读者反馈学科排名

gratify

包裹

BLANK

judicial

新义

Nondeterministic Languages Used for the Definition of Data Modelsive an implementation of the data model described by the equations using a predicate logic based language such as PROLOG..Examples of this technique applied to a data model based on binary relations will be shown.

Contracture

Negation as Failurecertain constraints, which still leaves us with a data base more general than a conventional relational data base, the query evaluation process will find every answer that is a logical consequence of the completed data base.

改正

Kernel

Deductive Planning and Pathfinding for Relational Data Bases plans to create data-base access strategies that guide the retrieval of data values, to assemble answers to user requests, and to produce proofs supporting those answers. Several examples are presented to illustrate the current capability of the prototype Deductively Augmented Data Management (DADM) system.

残废的火焰

Integrity Checking in Deductive Data Basestion in the data base are studied. For transition laws, a formalism is proposed which enables them to be handled in the same way as integrity rules stemming from state laws. The self-consistency of transition laws is also discussed.