[書籍][B] Logic Programming and Databases: An Overview
This book deals with the integration of logic programming and databases to generate new
types of systems, which extend the frontiers of computer science in an important direction and …
types of systems, which extend the frontiers of computer science in an important direction and …
Logic and databases: A deductive approach
H Gallaire, J Minker, JM Nicolas - ACM Computing Surveys (CSUR), 1984 - dl.acm.org
… logic as it is applied to databases. We are mostly concerned with the application of logic to
databases, where logic … primarily consider relational type databases. Some important efforts in …
databases, where logic … primarily consider relational type databases. Some important efforts in …
Classical negation in logic programs and disjunctive databases
M Gelfond, V Lifschitz - New generation computing, 1991 - Springer
… of general logic … database can be extended in a similar way. We show that some facts of
commonsense knowledge can be represented by logic programs and disjunctive databases …
commonsense knowledge can be represented by logic programs and disjunctive databases …
[書籍][B] Foundations of databases
S Abiteboul, R Hull, V Vianu - 1995 - sigmod.org
… database theory book provides a focused presentation of the core material on relational
databases… use it as the main text in a database theory course, or as complementary material in a …
databases… use it as the main text in a database theory course, or as complementary material in a …
A logical design methodology for relational databases using the extended entity-relationship model
TJ Teorey, D Yang, JP Fry - ACM Computing Surveys (CSUR), 1986 - dl.acm.org
A database design methodology is defined for the design of large relational databases. First, …
The methodology produces database designs that are not only accurate representations of …
The methodology produces database designs that are not only accurate representations of …
A logic-based calculus of events
R Kowalski, M Sergot - New generation computing, 1986 - Springer
… logic augmented with negation as failure. The resulting formalization is executable as a logic
… 4) The main intended applications investigated in this paper are the updating of databases …
… 4) The main intended applications investigated in this paper are the updating of databases …
Description logic programs: Combining logic programs with description logic
… cess databases directly through built-in predicates. Furthermore, restricted variants of
logic … directly implemented on top of SQL99-compliant relational databases. Hence, an LP-based …
logic … directly implemented on top of SQL99-compliant relational databases. Hence, an LP-based …
[PDF][PDF] Magic sets and other strange ways to implement logic programs
… We assume that the reader is familiar with the notion of a logic program and with the … fied
subcase of logic programs, but one that is very significant in the logic-and-databases school of …
subcase of logic programs, but one that is very significant in the logic-and-databases school of …
[書籍][B] The description logic handbook
… interested in Description Logics, most notably the Databases community and, more recently,
the Semantic Web one. After more than a decade of research on Description Logics there is …
the Semantic Web one. After more than a decade of research on Description Logics there is …
Markov logic networks
M Richardson, P Domingos - Machine learning, 2006 - Springer
… Weights are efficiently learned from relational databases by iteratively optimizing a pseudo-…
using inductive logic programming techniques. Experiments with a real-world database and …
using inductive logic programming techniques. Experiments with a real-world database and …
関連キーワード
- logic and databases deductive approach
- logical reconstruction relational database theory
- foundations of databases logical level
- logic programming approach inconsistent databases
- relational databases logical design methodology
- logical databases
- relational databases
- logic and sql
- logic and data structures
- logic and data science