FLORID - A Prototype for F-Logic 
(system description)

by Paul-Th. Kandzia and Christian Schlepphorst 
Universität Freiburg, Germany 

Abstract 

Florid is a deductive object-oriented database system relying on F-logic, which as a 
distinctive feature provides rich modeling facilities. In this paper we first give an 
overview about the language and its implementation. Furthermore, some examples illustrate 
advanced data modelling, particularly the solution of some nonmonotonic problems using 
inheritance is pointed out.