A Deductive Language for Automatically Structured Data

In this paper a model of automatically structured database is introduced, which is intended for representation of semistructured data. We describe a deductive language and corresponding formalism which are designed to support the presented model and to take into consideration the specific properties such as low quality of automatically generated scheme. The major advantage of the language is its similarity with structured deductive languages whereby structured programming methods and techniques (including programming of recursion) are preserved.