myopia
发表于 2025-4-1 02:02:22
Supporting and maintaining derivations: A declarative active approach active approach, to join the advantages of both the declarative expression of the deductive approach and the automatic maintenance of the active approach. We aim at defining a declarative language to express mono-valued, multi-valued and recursive derivations in an object-oriented database context, and maintaining these derivations using a dependency graph.
兽群
发表于 2025-4-1 09:06:42
Incremental inheritance model for an OODBMS,derived by Cook‘s constraint, that defines the conditions of the validity of generator derivation. We show by using the subtyping relation defined in the 02 OODBMS, the correctness of the proposed model (i.e. the Cook‘s constraint is respected). And therefore, the integration of our incremental model in O2 is valid.