Titlebook: ICDT‘86; International Confer Giorgio Ausiello,Paolo Atzeni Conference proceedings 1986 Springer-Verlag Berlin Heidelberg 1986 algorithm.al

注射器

Restructuring of complex objects and office forms,A model of structures arising in Semantic Database Models (complex objects) and Office Information Systems (forms) is studied. An algebra based on rewrite operations is introduced. The problem of restructuring is investigated. Some basic result are presented.

嘲弄

Modelling large bases of categorical data with acyclic schemes,The design and the implementation of a large base of categorical data raise several problems: storage requirements, performance of the query-processing system, consistency ... Most problems find a simple and efficient solution if and only if the database has an acyclic scheme.

粗语

Some extensions to the closed world assumption in databases,Minker has shown how the CWA can be generalized to non-Horn domains. However, his results hold for assuming ground atomic formulas only. We have shown extensions by which non-ground and non-atomic formulas can be assumed in non-Horn databases.

Mortal

Crohns-disease

,On the desirability of γ-acyclic BCNF database schemes,ree. Finally, we derive a simple and efficient algorithm that determines if an updated state is consistent. This allows the system to enforce the satisfaction of functional dependencies embodied in the database scheme incrementally and efficiently.