Two Explanation Facilities for the Deductive Database Management System DeDEx.

@inproceedings{DBLP:conf/er/Wieland90,
  author    = {C. Wieland},
  editor    = {Hannu Kangassalo},
  title     = {Two Explanation Facilities for the Deductive Database Management
               System DeDEx},
  booktitle = {Proceedings of the 9th International Conference on Entity-Relationship
               Approach (ER'90), 8-10 October, 1990, Lausanne, Switzerland},
  publisher = {ER Institute},
  year      = {1990},
  pages     = {189-203},
  ee        = {db/conf/er/Wieland90.html},
  crossref  = {DBLP:conf/er/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[2]

W. F. Clocksin, Chris Mellish: Programming in Prolog, 3rd Edition. Springer 1987, ISBN 3-540-17539-3
BibTeX

[3]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[4]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[5]

R. Marti, C. Wieland, Beat Wüthrich: Adding Inferencing to a Relational Database Management System. BTW 1989: 266-270 BibTeX

[6]

Jack Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0
Contents BibTeX

[7]

...

[8]

...

[9]

Lawrence A. Rowe, Michael Davis, Eli Messinger, Carl Mayer, Charles Spirakis, Allen Tuan: A Browser for Directed Graphs. Softw., Pract. Exper. 17(1): 61-76(1987) BibTeX

[10]

...

[11]

...

[12]

William R. Swartout: XPLAIN: A System for Creating and Explaining Expert Consulting Programs. Artif. Intell. 21(3): 285-325(1983) BibTeX

[13]

Robert Endre Tarjan: Depth-First Search and Linear Graph Algorithms. SIAM J. Comput. 1(2): 146-160(1972) BibTeX

[14]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[15]

Allen Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 149-176 BibTeX

[16]

...

[17]

J. L. Weiner: BLAH, A System Which Explains its Reasoning. Artif. Intell. 15(1-2): 19-48(1980) BibTeX

[18]

...

[19]

Niklaus Wirth: Programming in Modula 2. Springer 1982, ISBN 3-540-11674-5
BibTeX