ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

A Controllable Prolog Database System.

Naftaly H. Minsky, David Rozenshtein, Jan Chomicki: A Controllable Prolog Database System. ICDE 1986: 618-628
@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}
}
BibTeX

Abstract

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


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 6, ICDE 1984-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Proceedings of the Second International Conference on Data Engineering, February 5-7, 1986, Los Angeles, California, USA. IEEE Computer Society 1986, ISBN 0-8186-0655-X
Contents BibTeX

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ICDE Proceedings: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:17:30 2009