Foundations of Deductive Databases and Logic Programming
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780934613408

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Equivalences of Logic Programs

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50020-8 ◽

1988 ◽

pp. 627-658 ◽

Cited By ~ 49

Author(s):

M.J. Maher

Keyword(s):

Logic Programs

Download Full-text

Subject Index

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50026-9 ◽

1988 ◽

pp. 723-746

Download Full-text

A Logic-based Language for Database Updates

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50014-2 ◽

1988 ◽

pp. 363-394 ◽

Cited By ~ 50

Author(s):

Sanjay Manchanda ◽

David Scott Warren

Keyword(s):

Database Updates

Download Full-text

Foundations of Semantic Query Optimization for Deductive Databases

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50011-7 ◽

1988 ◽

pp. 243-273 ◽

Cited By ~ 35

Author(s):

U.S. Chakravarthy ◽

John Grant ◽

Jack Minker

Keyword(s):

Query Optimization ◽

Deductive Databases ◽

Semantic Query ◽

Semantic Query Optimization

Download Full-text

Negation as Failure Using Tight Derivations for General Logic Programs

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50007-5 ◽

1988 ◽

pp. 149-176 ◽

Cited By ~ 59

Author(s):

Allen Van Gelder

Keyword(s):

Logic Programs ◽

Negation As Failure ◽

General Logic

Download Full-text

Copyright

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50003-8 ◽

1988 ◽

pp. iv

Download Full-text

Optimizing Datalog Programs

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50021-x ◽

1988 ◽

pp. 659-698 ◽

Cited By ~ 44

Author(s):

Yehoshua Sagiv

Download Full-text

Authors

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50023-3 ◽

1988 ◽

pp. 711-713

Download Full-text

Converting AND-Control to OR-Control by Program Transformation

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50022-1 ◽

1988 ◽

pp. 699-709

Author(s):

M.H. van Emden ◽

P. Szeredi

Keyword(s):

Program Transformation ◽

And Control

Download Full-text

Intelligent Query Answering in Rule Based Systems11This is a modified version of the paper with the same title, which is to appear in the Journal of Logic Programming.

Foundations of Deductive Databases and Logic Programming ◽

10.1016/b978-0-934613-40-8.50012-9 ◽

1988 ◽

pp. 275-312 ◽

Cited By ~ 3

Author(s):

Tomasz Imielinski

Keyword(s):

Logic Programming ◽

Query Answering ◽

Rule Based

Download Full-text

Foundations of Deductive Databases and Logic ProgrammingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Equivalences of Logic Programs

Subject Index

A Logic-based Language for Database Updates

Foundations of Semantic Query Optimization for Deductive Databases

Negation as Failure Using Tight Derivations for General Logic Programs

Copyright

Optimizing Datalog Programs

Authors

Converting AND-Control to OR-Control by Program Transformation

Intelligent Query Answering in Rule Based Systems11This is a modified version of the paper with the same title, which is to appear in the Journal of Logic Programming.

Foundations of Deductive Databases and Logic Programming
Latest Publications