A Controllable Prolog Database System.

@inproceedings{DBLP:conf/icde/MinskiRC86,
  author    = {Naftaly H. Minsky and
               David Rozenshtein and
               Jan Chomicki},
  title     = {A Controllable Prolog Database System},
  booktitle = {Proceedings of the Second International Conference on Data Engineering,
               February 5-7, 1986, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1986},
  isbn      = {0-8186-0655-X},
  pages     = {618-628},
  ee        = {db/conf/icde/MinskiRC86.html},
  crossref  = {DBLP:conf/icde/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1986 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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-6 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

Printed Edition

References

[1]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX

[2]

...

[3]

Jan Chomicki, Naftaly H. Minsky: Towards a Programming Environment for Large Prolog Programs. SLP 1985: 230-241 BibTeX

[4]

...

[5]

...

[6]

W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
BibTeX

[7]

...

[8]

Patricia P. Griffiths, Bradford W. Wade: An Authorization Mechanism for a Relational Database System. ACM Trans. Database Syst. 1(3): 242-255(1976) BibTeX

[9]

...

[10]

Lawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85(1984) BibTeX

[11]

Matthias Jarke, James Clifford, Yannis Vassiliou: An Optimizing Prolog Front-End to a Relational Query System. SIGMOD Conference 1984: 296-306 BibTeX

[12]

Hugh C. Lauer, Edwin H. Satterthwaite: The Impact of Mesa on System Design. ICSE 1979: 174-182 BibTeX

[13]

Naftaly H. Minsky: Synergistic Authorization in Database Systems. VLDB 1981: 543-552 BibTeX

[14]

Naftaly H. Minsky: Locality in Software Systems. POPL 1983: 299-312 BibTeX

[15]

Naftaly H. Minsky, Alexander Borgida: The Darwin Software-Developemnt-Environemnt for Evolving Systems. Software Development Environments (SDE) 1984: 89-95 BibTeX

[16]

...

[17]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX

[18]

...

[19]

...

[20]

Robert E. Strom: Mechanisms for Compile-Time Enforcement of Security. POPL 1983: 276-284 BibTeX

[21]

Stephen Taylor, Andy Lowry, Gerald Q. Maguire Jr., Salvatore J. Stolfo: Logic Programming Using Parallel Associative Operations. SLP 1984: 58-68 BibTeX

[22]

Michael J. Wise, David M. W. Powers: Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded Words. SLP 1984: 203-210 BibTeX

[23]

Haruo Yokota, Susumu Kunifuji, Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Kunio Murakami: An Enhanced Inference Mechanism for Generating Relational Algebra Queries. PODS 1984: 229-238 BibTeX

[24]

...

Referenced by

1. Kazimierz Subieta, Marek Missala: Data Manipulation in NETUL. ER 1987: 391-407