300,043 Hits in 1.6 sec

Database logic programming

MosheY. Vardi
1991 The Journal of Logic Programming  
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]

Anthony J. Bonner, Michael Kifer, Mariano Consens
1994 Database Programming Languages (DBPL-4)  
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]

Thomas W. Reps
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 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  
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

Nicole Bidoit, Christine Froidevaux
1991 Information and Computation  
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]

Foto Afrati, Manolis Gergatsoulis, Maria Katzouraki
1996 Lecture Notes in Computer Science  
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

Robert Kowalski, Fariba Sadri
2011 Annals of Mathematics and Artificial Intelligence  
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

Jesús M. Almendros-Jiménez, Antonio Becerra-Terón
2006 New generation computing  
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  
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

Chitta Baral, Michael Gelfond, Olga Kosheleva
1998 The Journal of Logic Programming  
' 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

O. Arieli, M. Denecker, B. Van Nuffelen, M. Bruynooghe
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 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

Michael Gelfond, Vladimir Lifschitz
1991 New generation computing  
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  
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

Patrizia Asirelli, Michelle De Santis, Maurizio Martelli
1985 The Journal of Logic Programming  
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]

Fariba Sadri, Robert Kowalski
1988 Foundations of Deductive Databases and Logic Programming  
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