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影響因子(影響力)學(xué)科排名




書目名稱Logic and Data Bases網(wǎng)絡(luò)公開(kāi)度




書目名稱Logic and Data Bases網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書目名稱Logic and Data Bases被引頻次




書目名稱Logic and Data Bases被引頻次學(xué)科排名




書目名稱Logic and Data Bases年度引用




書目名稱Logic and Data Bases年度引用學(xué)科排名




書目名稱Logic and Data Bases讀者反饋




書目名稱Logic and Data Bases讀者反饋學(xué)科排名

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.