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

[2]

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

[3]

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

[4]

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

[5]

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

[6]

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

[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)

[10]

...

[11]

...

[12]

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

[13]

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

[14]

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

[15]

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

[16]

...

[17]

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

[18]

...

[19]

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

Last update Thu May 24 04:17:05 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page