The events method for view updating in deductive databases

2005 ◽  
pp. 245-260 ◽  
Author(s):  
Ernest Teniente ◽  
Antoni Olivé
Keyword(s):  
Deductive Databases

Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases

2019 ◽  
Vol 38 (1) ◽  
pp. 19-56
Author(s):  
Son Thanh Cao ◽  
Linh Anh Nguyen
Keyword(s):  
Deductive Databases

Book review: Deductive Databases and Logic Programming

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

Answering atomic queries in indefinite deductive databases

1989 ◽  
Vol 4 (4) ◽  
pp. 403-429 ◽  
Author(s):  
Eliezer L. Lozinskii
Keyword(s):  
Deductive Databases

A path finding method for constraint checking in deductive databases

1989 ◽  
Vol 4 (3) ◽  
pp. 223-244 ◽  
Author(s):  
Subrata K. Das ◽  
M. Howard Williams
Keyword(s):  
Deductive Databases ◽  
Path Finding ◽  
Constraint Checking ◽  
Finding Method

scholarly journals Computing Only Minimal Answers in Disjunctive Deductive Databases

2008 ◽  
Vol 42 (1) ◽  
pp. 35-76
Author(s):  
C. A. Johnson
Keyword(s):  
Deductive Databases ◽  
Disjunctive Deductive Databases

An efficient indefiniteness inference scheme in indefinite deductive databases

1994 ◽  
Vol 6 (5) ◽  
pp. 713-722 ◽  
Author(s):  
C.S. Ku ◽  
H.D. Kim ◽  
L.J. Henschen
Keyword(s):  
Deductive Databases
Sign in / Sign up

Export Citation Format

Share Document