A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Database logic programming
1991
The Journal of Logic Programming
Preserved Fulltext
The new area of logic database programming, which can be viewed as the meeting point of logic programming and deductive databases, is concerned with the use of logic as a programming language to extend ...
Research in deductive databases is concerned with extending database systems with deductive capabilities, and research in logic programming is concerned with the use of logic as a programming language. ...
In this method the original program is rewritten to take advantage of information passing among subgoals. The last two papers deal with the complexity of evaluating database logic programs. ...
doi:10.1016/0743-1066(91)90035-n
fatcat:kizazk7lrna2tmf4tj6hjvb2gm
Database Programming in Transaction Logic
[chapter]
1994
Database Programming Languages (DBPL-4)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
changes in logic programs and databases. ...
, sampling, active databases, dynamic integrity-constraints, hypothetical reasoning, and imperative-style programming. ...
Acknowledgments: Alberto Mendelzon provided us with many insights regarding updates of logic theories. ...
doi:10.1007/978-1-4471-3564-7_18
fatcat:iddg7hqfubhrtbt7wtpgpx5so4
Demand Interprocedural Program Analysis Using Logic Databases
[chapter]
1995
Applications of Logic Databases
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
(This addresses a concern that has been raised by several people who are interested in the idea of demand algorithms for program analysis, but are leery of the overheads imposed by using logic databases ...
Warren and others concerning the use of tabulation techniques in top-down evaluation of logic programs [38] was brought to my attention. ...
doi:10.1007/978-1-4615-2207-2_8
fatcat:iy6obcgrp5bqpp2sfel67jk4cm
A Database Interface for Complex Objects
[chapter]
1994
Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
They generalize conventional terms used in logic programming: they are typed attributed structures, ordered thanks to a subtype ordering. ...
We describe a formal design for a logical query language using -terms as data structures to interact effectively and efficiently with a relational database. ...
Introduction
Motivation and contribution The combination of logic programming languages and database systems has been a research theme for the last decade in both logic programming and database communities ...
doi:10.7551/mitpress/4316.003.0046
fatcat:u7wmwgud2zczdpcr2sdzlnn444
General logical databases and programs: Default logic semantics and stratification
1991
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
After presenting, in general, how to use default logic in order to define the meaning of logical databases and logic programs, the class of stratitiable databases and programs is extensively studied in ...
Default logic is introduced as a well-suited formalism for defining the declarative semantics of deductive databases and logic programs. ...
databases/logic programs. ...
doi:10.1016/0890-5401(91)90073-b
fatcat:xmez4y73nnbmpk3hzv7izerzpm
On transformations into linear database logic programs
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We consider the problem of transformations of logic programs without function symbols (database logic programs) into a special subclass, namely linear logic programs. ...
any program in a speci c subclass namely the piecewise logic programs into a linear logic program. ...
Conclusions The problem of transforming database logic programs (Datalog programs) into equivalent linear programs, is investigated in this paper. ...
doi:10.1007/3-540-62064-8_36
fatcat:qebfiaymlja2xj7nlxw5shx2aa
Abductive logic programming agents with destructive databases
2011
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive updates to manipulate a database, which represents ...
Logic programs are used to define macro-actions, intensional predicates, and plans to reduce goals to sub-goals including actions. ...
implicitly by logic programs. ...
doi:10.1007/s10472-011-9253-y
fatcat:z6e6q5qp7ngsrmuzkxk34ihoda
Database query languages and functional logic programming
2006
New generation computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
To use functional logic programming as a database programming language, (1) we will propose a data model involving the main features adopted from functional logic programming (for instance, handling of ...
Functional logic programming is a paradigm which integrates functional and logic programming. It is based on the use of rewriting rules for defining programs, and rewriting for goal solving. ...
From the point of view of functional-logic programming, programmers in this paradigm can use a functional-logic language for programming databases. ...
doi:10.1007/bf03037296
fatcat:nrklsenccja7pajdh25aitveam
Inductive Logic Programming in Databases: From Datalog to
2010
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
by them) can help solving typical database problems, through a better understanding of Knowledge Representation (KR) aspects related to databases. ...
In particular, we investigate this issue from the ILP perspective by considering two database problems, (i) the definition of views and (ii) the definition of constraints, for a database whose schema is ...
Then any result obtained in ILP on Horn logic programs is directly carried over to normal logic programs. ...
doi:10.1017/s1471068410000116
fatcat:fhmx2lyy4vb4dfqk6hayrfi4o4
Expanding queries to incomplete databases by interpolating general logic programs
1998
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
' to mean 'database instance'. ' Since I7, u D is a Horn logic program it has a least model [34] . ...
Logic Programming 35 (1998) 195-230 191 [19-211 in Databases, use of disjunctions, classical negations and abduction in extensions of logic programming (for a survey on this see [3]). ...
We will also motivate interpolation of general logic programs from the point of view of expanding 'queries' 4 from a domain consisting of only complete databases to a domain that allows incomplete databases ...
doi:10.1016/s0743-1066(97)10011-5
fatcat:falbhkrspncn7ep45otoj3lega
Coherent Integration of Databases by Abductive Logic Programming
2004
The Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We also give a pure model-theoretic analysis of the possible ways to 'recover' consistent data from an inconsistent database in terms of those models of the database that exhibit as minimal inconsistent ...
This allows us to characterize the 'recovered databases' in terms of the 'preferred' (i.e., most consistent) models of the theory. ...
A common approach is to view a database as a logic program, and to adopt standard techniques of giving semantics to logic programs in order to compute database repairs. ...
doi:10.1613/jair.1322
fatcat:vdiqbqpymnafjdexvspcpmteti
Classical negation in logic programs and disjunctive databases
1991
New generation computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
We show that some facts of commonsense knowledge can be represented by logic programs and disjunctive databases more easily when classical negation is available. ...
An important limitation of traditional logic programming as a knowledge representation tool, in comparison with classical logic, is that logic programming does not allow us to deal directly with incomplete ...
The database consisting of just one rule Q P has one answer set, empty; (18) has two answer sets: fP; Qg and f:Pg. 8
Conclusion Extended logic programs and extended disjunctive databases use both classical ...
doi:10.1007/bf03037169
fatcat:5y3cb7m5vvbszcvmcijteunjue
Minimal founded semantics for disjunctive logic programs and deductive databases
2004
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a variant of stable model semantics for disjunctive logic programming and deductive databases. ...
for disjunctive programs). ...
in terms of logic programming of the 3SAT problem. ...
doi:10.1017/s1471068403001704
fatcat:33xpkgsxwzayda3xxs7t3e7jmq
Integrity constraints in logic databases
1985
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The second method is based on a transformation of the logic program which represents the database into a logic program which satisfies the given integrity constraints. ...
We consider logic databases as logic programs and suggest how to deal with the problem of integrity constraint checking. Two methods for integrity constraint handling are presented. ...
An idea now widely accepted in the world of logic databases is that a database can be represented by a logic program. ...
doi:10.1016/0743-1066(85)90020-2
fatcat:jtss7pdkiretrinw6js2obfw6q
A Theorem-Proving Approach to Database Integrity
[chapter]
1988
Foundations of Deductive Databases and Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The Consistency method is suitable for general range-restricted deductive databases where the constraints can be arbitrary formulae of first order predicate logic, and the transactions consist of one or ...
Backward reasoning is particularly suited to query evaluation, where the database is static but the queries change. ...
These assertions are generated automatically by another Prolog program, given the two databases and the constraints. ...
doi:10.1016/b978-0-934613-40-8.50013-0
fatcat:ul63p5fu3fbv5b4hjcim5kbl3q
« Previous
Showing results 1 — 15 out of 300,043 results