Rainer Himmeröder

Learn More
| The closely related research areas management of semistructured data and languages for querying the Web have recently attracted a lot of interest. We argue that languages supporting deduction and object-orientation (dood languages) are particularly suited in this context: Objectorientation provides a exible common data model for combining information from(More)
FLORID1 F-Logic Reasoning In Databases is a deductive object oriented database system incorporating F-logic [3] as a 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(More)
With the increasing importance of the World Wide Web as an information source there is a growing interest for integration of Web and database technology Several Web query languages have been pre sented to overcome the shortcomings of conventional search engines most of them lacking a formal semantics In this paper we propose F logic as a means to explore(More)
Languages supporting deduction and object orientation seem particularly promising for querying and reasoning about structure and contents of the Web and for the integration of information from heterogeneous sources Florid an implementation of the deductive object oriented language F logic has been extended to provide a declarative semantics for querying the(More)
The integration of concepts from logic and deduction into databases and knowledge bases has created the eld of deductive databases. Logic programming provides a powerful declarative language for accessing and maintaining knowledge in databases. Techniques from relational databases and automated deduction are useful for achieving e cient retrieval and(More)
  • 1