FLORID: A Prototype for F-Logic

  • Authors:
  • Jürgen Frohn;Rainer Himmeröder;Paul-Thomas Kandzia;Georg Lausen;Christian Schlepphorst

  • Affiliations:
  • -;-;-;-;-

  • Venue:
  • ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

FLORID - F-LOgic Reasoning In Databases - is a deductive object-oriented database system incorporating F-logic as data definition and query language and combining the advantages of deductive databases with the rich modelling capabilities of object oriented concepts. F-logic provides complex objects, uniform handling of data and metadata, rule-defined class hierarchy and signatures, non-monotonic multiple inheritance, equating of objects by rules and variables ranging over methods and classes. Moreover, FLORID extends F-logic by path expressions to facilitate object navigation.