[書籍][B] Logic Programming and Databases: An Overview

S Ceri, G Gottlob, L Tanca, S Ceri, G Gottlob, L Tanca - 1990 - Springer
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 …

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 …

Classical negation in logic programs and disjunctive databases

M Gelfond, V Lifschitz - New generation computing, 1991 - Springer
… of general logicdatabase can be extended in a similar way. We show that some facts of
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 …

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 …

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

Description logic programs: Combining logic programs with description logic

BN Grosof, I Horrocks, R Volz, S Decker - Proceedings of the 12th …, 2003 - dl.acm.org
… 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 …

[PDF][PDF] Magic sets and other strange ways to implement logic programs

F Bancilhon, D Maier, Y Sagiv, JD Ullman - … on Principles of database …, 1985 - dl.acm.org
… 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 …

[書籍][B] The description logic handbook

F Baader, D McGuinness, D Nardi, P Patel-Schneider - 2007 - academia.edu
… 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 …

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 …