断言
发表于 2025-3-23 12:02:19
http://reply.papertrans.cn/27/2646/264517/264517_11.png
FOVEA
发表于 2025-3-23 14:12:33
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
发表于 2025-3-23 20:51:05
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
爱好
发表于 2025-3-24 01:33:52
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
发表于 2025-3-24 04:33:13
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
发表于 2025-3-24 07:18:10
http://reply.papertrans.cn/27/2646/264517/264517_16.png
表状态
发表于 2025-3-24 12:14:27
http://reply.papertrans.cn/27/2646/264517/264517_17.png
河流
发表于 2025-3-24 17:46:27
http://reply.papertrans.cn/27/2646/264517/264517_18.png
Collected
发表于 2025-3-24 19:39:02
978-3-540-63792-9Springer-Verlag Berlin Heidelberg 1997
BILK
发表于 2025-3-25 02:47:28
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 |with additional semantic dimensions. We demonstrate through examples how we can encode the active rules and their operational behavior from different existing systems.