Applications of deductive database systems

Digest of Papers Compcon Spring '90. Thirty-Fifth IEEE Computer Society International Conference on Intellectual Leverage ◽

10.1109/cmpcon.1990.63732 ◽

2002 ◽

Cited By ~ 4

Author(s):

S. Tsur

Keyword(s):

Database Systems ◽

Deductive Database ◽

Deductive Database Systems

Download Full-text

A basis for deductive database systems II

The Journal of Logic Programming ◽

10.1016/0743-1066(86)90004-x ◽

1986 ◽

Vol 3 (1) ◽

pp. 55-67 ◽

Cited By ~ 66

Author(s):

J.W. Lloyd ◽

R.W. Topor

Keyword(s):

Database Systems ◽

Deductive Database ◽

Deductive Database Systems

Download Full-text

Super-TC: an efficient generic algorithm for processing the instantiated transitive-closure queries in deductive database systems

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence ◽

10.1109/tai.1990.130447 ◽

2002 ◽

Author(s):

G.Z. Qadah

Keyword(s):

Transitive Closure ◽

Database Systems ◽

Deductive Database ◽

Generic Algorithm ◽

Deductive Database Systems

Download Full-text

Complex structures in (deductive) database systems: Variables and open property sets

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_1 ◽

1994 ◽

pp. 1-21

Author(s):

B. Walter ◽

S. Benzschawel

Keyword(s):

Database Systems ◽

Deductive Database ◽

Complex Structures ◽

Deductive Database Systems

Download Full-text

A framework for deductive database systems

IEEE TENCON'90: 1990 IEEE Region 10 Conference on Computer and Communication Systems. Conference Proceedings ◽

10.1109/tencon.1990.152723 ◽

2002 ◽

Author(s):

D.L. Lee ◽

W. Lu

Keyword(s):

Database Systems ◽

Deductive Database ◽

Deductive Database Systems

Download Full-text

On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration

1987 IEEE Third International Conference on Data Engineering ◽

10.1109/icde.1987.7272365 ◽

1987 ◽

Cited By ~ 21

Author(s):

Ulrich Guntzer ◽

Werner Kiessling ◽

Rudolf Bayer

Keyword(s):

Database Systems ◽

Deductive Database ◽

Deductive Database Systems

Download Full-text

A Heuristic for Rule Allocation in Distributed Deductive Database Systems

Workshops in Computing - Rules in Database Systems ◽

10.1007/978-1-4471-3225-7_23 ◽

1994 ◽

pp. 385-400 ◽

Cited By ~ 1

Author(s):

Mukesh K. Mohania ◽

N. L. Sarda

Keyword(s):

Database Systems ◽

Deductive Database ◽

Deductive Database Systems

Download Full-text

The theory of deductive database systems

Digest of Papers Compcon Spring '90. Thirty-Fifth IEEE Computer Society International Conference on Intellectual Leverage ◽

10.1109/cmpcon.1990.63730 ◽

2002 ◽

Cited By ~ 2

Author(s):

J.D. Ullman

Keyword(s):

Database Systems ◽

Deductive Database ◽

Deductive Database Systems

Download Full-text

A Hybrid Fragmentation Approach for Distributed Deductive Database Systems

Knowledge and Information Systems ◽

10.1007/pl00011666 ◽

2001 ◽

Vol 3 (2) ◽

pp. 198-224 ◽

Cited By ~ 1

Author(s):

Seung-Jin Lim ◽

Yiu-Kai Ng

Keyword(s):

Database Systems ◽

Deductive Database ◽

Deductive Database Systems

Download Full-text

A survey of deductive database systems

The Journal of Logic Programming ◽

10.1016/0743-1066(94)00039-9 ◽

1995 ◽

Vol 23 (2) ◽

pp. 125-149 ◽

Cited By ~ 122

Author(s):

Raghu Ramakrishnan ◽

Jeffrey D. Ullman

Keyword(s):

Database Systems ◽

Deductive Database ◽

Deductive Database Systems

Download Full-text

Rule allocation in distributed deductive database systems

Data & Knowledge Engineering ◽

10.1016/0169-023x(94)90041-8 ◽

1994 ◽

Vol 14 (2) ◽

pp. 117-141 ◽

Cited By ~ 3

Author(s):

Mukesh K. Mohania ◽

N.L. Sarda

Keyword(s):

Database Systems ◽

Deductive Database ◽

Deductive Database Systems

Download Full-text