標(biāo)題: Titlebook: Logic and Data Bases; Hervé Gallaire,Jack Minker Book 1978 Springer Science+Business Media New York 1978 Area.Logic.Mathematica.framework. [打印本頁] 作者: Menthol 時間: 2025-3-21 16:21
書目名稱Logic and Data Bases影響因子(影響力)
書目名稱Logic and Data Bases影響因子(影響力)學(xué)科排名
書目名稱Logic and Data Bases網(wǎng)絡(luò)公開度
書目名稱Logic and Data Bases網(wǎng)絡(luò)公開度學(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 時間: 2025-3-21 23:52 作者: 包裹 時間: 2025-3-22 04:28 作者: BLANK 時間: 2025-3-22 07:04 作者: judicial 時間: 2025-3-22 11:21 作者: 新義 時間: 2025-3-22 13:28
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 時間: 2025-3-22 19:00
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.作者: 改正 時間: 2025-3-22 22:54 作者: Kernel 時間: 2025-3-23 05:24
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.作者: 殘廢的火焰 時間: 2025-3-23 06:47
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.作者: 利用 時間: 2025-3-23 12:29
978-1-4684-3386-9Springer Science+Business Media New York 1978作者: 柱廊 時間: 2025-3-23 13:58
Overview: 978-1-4684-3386-9978-1-4684-3384-5作者: 暗諷 時間: 2025-3-23 22:01 作者: frugal 時間: 2025-3-24 00:54 作者: Cursory 時間: 2025-3-24 04:14
An Overview and Introduction to Logic and Data Bases, as well as an introduction to the major ideas discussed in the individual chapters. The first section of this paper is devoted to a description of first order logic, while the second describes the relational data base model. The next sections summarize the five major units of chapters..The theme o作者: HIKE 時間: 2025-3-24 09:15 作者: 袋鼠 時間: 2025-3-24 11:10
On Closed World Data Basesclosed world assumptions. The open world assumption corresponds to the usual first order approach to query evaluation: Given a data base DB and a query Q, the only answers to Q are those which obtain from proofs of Q given DB as hypotheses. Under the closed world assumption, certain answers are admi作者: aerial 時間: 2025-3-24 16:21
Logic for Data Descriptiona bases depends upon the form of definitions: whether data is defined by means of complete if-and-only-if definitions or only by means of the if-halves, whether the only-if half of an if-and-only-if definition is stated explicitly or is assumed implicitly, and whether the only-if assumption is under作者: 防銹 時間: 2025-3-24 19:38
An Experimental Relational Data Base System Based on Logicul way in which to represent knowledge, and it forms a mathematical basis both for reasoning with data and for maintaining the integrity of a data base. The latter is a needed capability of data base systems as one wants to derive new facts from facts listed explicitly in the data base..The system i作者: GEON 時間: 2025-3-25 02:47 作者: 碳水化合物 時間: 2025-3-25 07:14
Deductive Planning and Pathfinding for Relational Data Basesrmation implied by, but not explicitly included in, the contents of a relationally structured data base, Deductive pathfinding and inference planning are used to select small sets of relevant premises and to construct skeletal derivations. When these “skeletons” are verified, the system uses them as作者: 共和國 時間: 2025-3-25 08:18
DEDUCE 2: Further Investigations of Deduction in Relational Data Basesferences, and heuristics. In this paper, we shall give a new syntax of DEDUCE for uniformly handling queries having existential, universal or numerical quantifiers. Axioms are used to define virtual relations. A user can make a query against virtual relations and original base relations. The query i作者: overrule 時間: 2025-3-25 14:13
Nondeterministic Languages Used for the Definition of Data Models which have been proposed (relational, hierarchical, networks, etc.). Yet, very little attention has been devoted to the problem of defining a data model formally..A data model can be considered to be a collection of Abstract Data Types. Following the albegraic approach to the definition of Abstract作者: hidebound 時間: 2025-3-25 18:09
An Axiomatic Data Base Theoryctive theory. Axioms and definitions are written down and theorems are derived. Some of these theorems can be understood as computer programs. A data base is a model of the theory. A model, supposed to characterize a world, can be interrogated by queries which are theorems of the theory. A main resu作者: irritation 時間: 2025-3-25 23:14
Negation as Failureth a special inference rule for dealing with negation. This is the . inference rule whereby ~ P can be inferred if every possible proof of P .. The chief advantage of the query evaluator described is the effeciency with which it can be implemented. Moreover, we show that the negation as failure rule作者: EXCEL 時間: 2025-3-26 02:06
Integrity Checking in Deductive Data Bases laws. Some of the state laws are used as derivation rules while others are used as integrity rules. Integrity rules as well as derivation rules can be treated in many ways which are presented. For each such method, the actions to be undertaken when querying, adding, suppressing and updating informa作者: anus928 時間: 2025-3-26 05:34
The Application of Prolog to the Development of QA and DBM SystemsPROLOG, is summarized. The PROLOG language is introduced first. Those modifications to the language that were necessitated by the above applications are described. Subsequently, an experimental QA system dealing with drug data and drug interactions, and two operative DBM systems are described. Final作者: Harness 時間: 2025-3-26 12:31
Robert Kowalskiand zusammen, dass er als einer der wichtigsten V?ter eines radikaldemokratischen Erziehungsverst?ndnisses im 20.?Jahrhundert gelten kann. Im Rahmen seines au?erordentlich umfangreichen philosophischen Gesamtwerkes hat Dewey eine Konzeption von Erziehung begründet, die konsequent am Demokratiegedank作者: abject 時間: 2025-3-26 16:32 作者: Harass 時間: 2025-3-26 20:50
Jack Minkerand zusammen, dass er als einer der wichtigsten V?ter eines radikaldemokratischen Erziehungsverst?ndnisses im 20.?Jahrhundert gelten kann. Im Rahmen seines au?erordentlich umfangreichen philosophischen Gesamtwerkes hat Dewey eine Konzeption von Erziehung begründet, die konsequent am Demokratiegedank作者: intelligible 時間: 2025-3-27 00:09 作者: 柔聲地說 時間: 2025-3-27 05:04 作者: 我還要背著他 時間: 2025-3-27 09:15 作者: 定點 時間: 2025-3-27 11:28 作者: Systemic 時間: 2025-3-27 16:48 作者: Stable-Angina 時間: 2025-3-27 19:01 作者: 整潔 時間: 2025-3-28 01:42 作者: 貿(mào)易 時間: 2025-3-28 05:31
r sich für die Sozialp?dagogik als Wissenschaft und Profession engagierte. Dies belegt seine historisch gerichtete Dissertation von 1959 ebenso wie seine sehr erfolgreiche . von 1964. Zeitgleich begann er mit der Problematisierung des Zusammenhangs von Erziehung und Gesellschaft mit der Folge der 19作者: Proclaim 時間: 2025-3-28 06:25 作者: Synchronism 時間: 2025-3-28 13:33 作者: Blanch 時間: 2025-3-28 16:34 作者: 肌肉 時間: 2025-3-28 22:19 作者: 松軟 時間: 2025-3-29 01:31
lungen, Teilnahmen und Beobachtungen von Lernenden im allt?glichen Miteinander. Die Schule als eine gesellschaftliche Institution ist an diesem Ma?stab zu messen. Sie bedarf umfassender Reformen, um den Herausforderungen des Lebens in einer komplexen modernen Industriegesellschaft zu entsprechen und作者: Morphine 時間: 2025-3-29 04:18
Jack Minkerlungen, Teilnahmen und Beobachtungen von Lernenden im allt?glichen Miteinander. Die Schule als eine gesellschaftliche Institution ist an diesem Ma?stab zu messen. Sie bedarf umfassender Reformen, um den Herausforderungen des Lebens in einer komplexen modernen Industriegesellschaft zu entsprechen und作者: Pde5-Inhibitors 時間: 2025-3-29 07:41
Raymond Reiterlungen, Teilnahmen und Beobachtungen von Lernenden im allt?glichen Miteinander. Die Schule als eine gesellschaftliche Institution ist an diesem Ma?stab zu messen. Sie bedarf umfassender Reformen, um den Herausforderungen des Lebens in einer komplexen modernen Industriegesellschaft zu entsprechen und作者: tympanometry 時間: 2025-3-29 14:57
Charles Kellogg,Philip Klahr,Larry Travislungen, Teilnahmen und Beobachtungen von Lernenden im allt?glichen Miteinander. Die Schule als eine gesellschaftliche Institution ist an diesem Ma?stab zu messen. Sie bedarf umfassender Reformen, um den Herausforderungen des Lebens in einer komplexen modernen Industriegesellschaft zu entsprechen und作者: 浸軟 時間: 2025-3-29 19:32
