FLORID: A Prototype for F-Logic.

@inproceedings{DBLP:conf/icde/FrohnHKLS97,
  author    = {J{\"u}rgen Frohn and
               Rainer Himmer{\"o}der and
               Paul-Thomas Kandzia and
               Georg Lausen and
               Christian Schlepphorst},
  editor    = {W. A. Gray and
               Per-{\AA}ke Larson},
  title     = {FLORID: A Prototype for F-Logic},
  booktitle = {Proceedings of the Thirteenth International Conference on Data
               Engineering, April 7-11, 1997 Birmingham U.K},
  publisher = {IEEE Computer Society},
  year      = {1997},
  isbn      = {0-8186-7807-0},
  pages     = {583},
  ee        = {db/conf/icde/FrohnHKLS97.html},
  crossref  = {DBLP:conf/icde/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1997 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-7 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]

...

[2]

Jürgen Frohn, Georg Lausen, Heinz Uphoff: Access to Objects by Path Expressions and Rules. VLDB 1994: 273-284 BibTeX

[3]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) BibTeX