Book review: Deductive Databases and Logic Programming

1993 ◽  
Vol 4 (4) ◽  
pp. 192
Author(s):  
W.J. Cullyer
Keyword(s):  
Logic Programming ◽  
Deductive Databases

scholarly journals Proving Semantic Properties as First-Order Satisfiability (Extended Abstract)

2020 ◽  
Author(s):  
Salvador Lucas
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Answer Set Programming ◽  
Deductive Databases ◽  
Query Answering ◽  
Logical Theory ◽  
Data Bases ◽  
First Order ◽  
Computational Systems ◽  
Semantic Properties

The semantics of computational systems (e.g., relational and knowledge data bases, query-answering systems, programming languages, etc.) can often be expressed as (the specification of) a logical theory Th. Queries, goals, and claims about the behavior or features of the system can be expressed as formulas φ which should be checked with respect to the intended model of Th, which is often huge or even incomputable. In this paper we show how to prove such semantic properties φ of Th by just finding a model A of Th∪{φ}∪Zφ, where Zφ is an appropriate (possibly empty) theory depending on φ only. Applications to relational and deductive databases, rewriting-based systems, logic programming, and answer set programming are discussed.

Deductive Data Warehouses

2014 ◽  
Vol 10 (1) ◽  
pp. 16-31 ◽  
Author(s):  
Kornelije Rabuzin
Keyword(s):  
Logic Programming ◽  
Data Warehouse ◽  
Programming Language ◽  
Deductive Databases ◽  
Integrity Constraints ◽  
Data Warehouses ◽  
Logic Programming Language ◽  
Olap Analysis

This paper presents the idea of deductive data warehouses. Deductive data warehouses rely on deductive databases but instead of a database in the background a data warehouse is used. The authors show how Datalog (as a logic programming language) can be used to perform OLAP analysis on data. Since data warehouses don't use all the technologies that databases do (locking, transactions, integrity constraints, etc., which are not relevant in this context), some things are different and simpler then when working with deductive databases. The authors demonstrate the idea on an example and the authors show that Datalog rules can be used to perform OLAP analysis on data.

Sign in / Sign up

Export Citation Format

Share Document