We propose an integration of XML with F-Logic, a deductive object-oriented database framework. The F-Logic data model is in fact a semistructured data model, exhibiting many similarities with the XML/DOM data model: there is a canonical mapping from XML to a fragment of F-Logic. The advantages of the integration are that the full expressiveness of F-Logic (and the functionality of the Florid system) can be applied to the data, providing an intuitive language for view definitions, updates, schema reasoning, Web exploration, integration (also with non-XML sources) etc. Especially, extended XML features, such as XML Schema or XLink can easily be prototypically implemented and evaluated.

[Postscript]

[Slides]