Deductive database

A deductive database is a database system that can make deductions (i.e., conclude additional facts) based on rules and facts stored in the…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2003

Deductive Databases formalize and extend relational databases. A deductive database (DDB) consists of a set of facts, a set of…

2002

Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…

1996

To anyone infected with the idea that the human mind is unlimited in its capacity to answer questions, a tour of 20th-century…

1996

In this paper, we present mfd2, a deductive database for mathematical formulas. The database itself is a stand-alone program…

1992

This dissertation addresses a limitation of most deductive database systems: They cannot reason hypothetically. Although they…

1992

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the…

1991

A method is proposed for identifying relevant integrity constraints (ICs) for queries involving joins/unions of base relations…

1990

A number of deductive database (DD) applications are described. The range covers advanced database applications, synthesis of…

1988

This thesis addresses the problem of full utilization of the semantics already present in a database, and particularly, integrity…

1988

In this paper, we present results on the classification of linear recursive formulas in deductive databases and apply those…