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
*

The new area of

doi:10.1016/0743-1066(91)90035-n
fatcat:kizazk7lrna2tmf4tj6hjvb2gm
*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*. ...##
###
Database Programming in Transaction Logic
[chapter]

1994
*
Database Programming Languages (DBPL-4)
*

changes in

doi:10.1007/978-1-4471-3564-7_18
fatcat:iddg7hqfubhrtbt7wtpgpx5so4
*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. ...##
###
Demand Interprocedural Program Analysis Using Logic Databases
[chapter]

1995
*
Applications of Logic Databases
*

(This addresses a concern that has been raised by several people who are interested in the idea of demand algorithms for

doi:10.1007/978-1-4615-2207-2_8
fatcat:iy6obcgrp5bqpp2sfel67jk4cm
*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. ...##
###
A Database Interface for Complex Objects
[chapter]

1994
*
Logic Programming
*

They generalize conventional terms used in

doi:10.7551/mitpress/4316.003.0046
fatcat:u7wmwgud2zczdpcr2sdzlnn444
*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 ...##
###
General logical databases and programs: Default logic semantics and stratification

1991
*
Information and Computation
*

After presenting, in general, how to use default

doi:10.1016/0890-5401(91)90073-b
fatcat:xmez4y73nnbmpk3hzv7izerzpm
*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*. ...##
###
On transformations into linear database logic programs
[chapter]

1996
*
Lecture Notes in Computer Science
*

We consider the problem of transformations of

doi:10.1007/3-540-62064-8_36
fatcat:qebfiaymlja2xj7nlxw5shx2aa
*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. ...##
###
Abductive logic programming agents with destructive databases

2011
*
Annals of Mathematics and Artificial Intelligence
*

The language is based on abductive

doi:10.1007/s10472-011-9253-y
fatcat:z6e6q5qp7ngsrmuzkxk34ihoda
*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*. ...##
###
Database query languages and functional logic programming

2006
*
New generation computing
*

To use functional

doi:10.1007/bf03037296
fatcat:nrklsenccja7pajdh25aitveam
*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*. ...##
###
Inductive Logic Programming in Databases: From Datalog to

2010
*
Theory and Practice of Logic Programming
*

by them) can help solving typical

doi:10.1017/s1471068410000116
fatcat:fhmx2lyy4vb4dfqk6hayrfi4o4
*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*. ...##
###
Expanding queries to incomplete databases by interpolating general logic programs

1998
*
The Journal of Logic Programming
*

' to mean '

doi:10.1016/s0743-1066(97)10011-5
fatcat:falbhkrspncn7ep45otoj3lega
*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*...##
###
Coherent Integration of Databases by Abductive Logic Programming

2004
*
The Journal of Artificial Intelligence Research
*

We also give a pure model-theoretic analysis of the possible ways to 'recover' consistent data from an inconsistent

doi:10.1613/jair.1322
fatcat:vdiqbqpymnafjdexvspcpmteti
*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. ...##
###
Classical negation in logic programs and disjunctive databases

1991
*
New generation computing
*

We show that some facts of commonsense knowledge can be represented by

doi:10.1007/bf03037169
fatcat:5y3cb7m5vvbszcvmcijteunjue
*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 ...##
###
Minimal founded semantics for disjunctive logic programs and deductive databases

2004
*
Theory and Practice of Logic Programming
*

In this paper, we propose a variant of stable model semantics for disjunctive

doi:10.1017/s1471068403001704
fatcat:33xpkgsxwzayda3xxs7t3e7jmq
*logic**programming*and deductive*databases*. ... for disjunctive*programs*). ... in terms of*logic**programming*of the 3SAT problem. ...##
###
Integrity constraints in logic databases

1985
*
The Journal of Logic Programming
*

The second method is based on a transformation of the

doi:10.1016/0743-1066(85)90020-2
fatcat:jtss7pdkiretrinw6js2obfw6q
*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*. ...##
###
A Theorem-Proving Approach to Database Integrity
[chapter]

1988
*
Foundations of Deductive Databases and Logic Programming
*

The Consistency method is suitable for general range-restricted deductive

doi:10.1016/b978-0-934613-40-8.50013-0
fatcat:ul63p5fu3fbv5b4hjcim5kbl3q
*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. ...
« Previous

*Showing results 1 — 15 out of 300,043 results*