extrovert
发表于 2025-3-27 00:37:28
Towards a Structured Specification Language for Database Applications,nd transaction semantics can be captured in terms of integrity constraints as well as pre- and postconditions. Furthermore, the use of current transaction models as units of database state transitions favours the use of Dijkstra’s substitutions..Traditional DBMS solutions guarantee database integrit
headway
发表于 2025-3-27 03:31:39
http://reply.papertrans.cn/88/8738/873782/873782_32.png
典型
发表于 2025-3-27 05:23:56
http://reply.papertrans.cn/88/8738/873782/873782_33.png
dithiolethione
发表于 2025-3-27 09:54:42
Specifying Deductive Databases and Integrity Constraints in Meta-logic,sidered on the domain of meta-logic terms and a proof procedure based on this unification is presented to answer database queries and to verify integrity constraints. Although, the main focus is to handle deductive databases problems, the results of this paper deal indirectly with a metalevel extension of first-order logic programming.
表被动
发表于 2025-3-27 14:03:55
http://reply.papertrans.cn/88/8738/873782/873782_35.png
健谈的人
发表于 2025-3-27 21:23:19
http://reply.papertrans.cn/88/8738/873782/873782_36.png
勉励
发表于 2025-3-27 22:52:51
VVSL Specification of a Transaction-oriented Access Handler,by the special features of VVSL. This issue is further discussed. The access handler interface concerned is a hypothetical interface which is meant to provide for a way of looking at transaction management.
悦耳
发表于 2025-3-28 05:27:29
A Specification of an Object-Oriented Data Model with Relations, formal specification in the Z language. This intermediate level of specification serves both as an important stage in the design process and also as a useful part of the documentation of the model. The data model, BROOM, combines features of the object-oriented, entity-relationship, semantic and relational data models.
hemoglobin
发表于 2025-3-28 08:16:00
Specification of Database Applications in the TROLL Language,at models objects as processes that can be observed through attributes. Based on this model, the language T. is introduced. It is a logical language for the abstract object-oriented description of information systems. Finally, we propose mechanisms for defining external views and for queries that fit in the framework.
Awning
发表于 2025-3-28 13:57:03
http://reply.papertrans.cn/88/8738/873782/873782_40.png