Titlebook: Deductive and Object-Oriented Databases; 5th International Co Fran?ois Bry,Raghu Ramakrishnan,Kotagiri Ramamohan Conference proceedings 199

斷言

FOVEA

https://doi.org/10.1007/978-3-658-33841-1ntness of classes and class intersection inclusion into other classes as well as negations of these statements. We provide an advisor that supplies the user with possible update alternatives when trying to modify the schema. Formally we investigate the problem of updating object class structures for

AWE

https://doi.org/10.1007/978-3-658-41003-2pproach is aimed at obtaining intensional translations that satisfy a view update request, instead of obtaining extensional translations. Intuitively, our translations are intensional in the sense that they characterise multiple possible values for a set of base fact updates such that the request is

愛好

Der überforderte Abiturient im Fach Deutscheveral systems which support active rules in an object-oriented data model have been proposed. However, many issues related to the integration of triggers with object-oriented modeling concepts have been devoted so far limited attention and still need investigation. In this paper, we discuss the pro

Intrepid

https://doi.org/10.1007/978-3-658-06373-3has not yet been fully explored. As OODB‘s continue to expand in functionality to include the use of active rules and integrity constraints, the need for . becomes more apparent. This is especially true for active, object-oriented environments that also include deductive or declarative capabilities

comely

表狀態(tài)

河流

Collected

978-3-540-63792-9Springer-Verlag Berlin Heidelberg 1997

BILK

Formal characterizations of active databases: Part II,ibility in defining an implementation-independent semantics of the active rules. The results extend the active database description language introduced in [5]|with additional semantic dimensions. We demonstrate through examples how we can encode the active rules and their operational behavior from different existing systems.