-
1
-
-
0005008941
-
On the design and specification of database transactions
-
Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (Eds.), Springer, Berlin
-
Brodie, M.L., Ridjanovic, D., 1984. On the design and specification of database transactions. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (Eds.), Topics in Information Systems, On Conceptual Modeling. Springer, Berlin, pp. 277-312.
-
(1984)
Topics in Information Systems, on Conceptual Modeling
, pp. 277-312
-
-
Brodie, M.L.1
Ridjanovic, D.2
-
4
-
-
25744476077
-
-
R-95-2018, Aalborg University, Denmark
-
Bækgaard, L., Godskesen, J.C., 1995. Transaction-based specification and verification of real-time dynamic database constraints. R-95-2018, Aalborg University, Denmark.
-
(1995)
Transaction-based Specification and Verification of Real-time Dynamic Database Constraints
-
-
Bækgaard, L.1
Godskesen, J.C.2
-
5
-
-
0020259524
-
A Temporal Framework for Database Specifications
-
Mexico City, Mexico
-
Castilho, J.M.V.D., Casanova, M.A., Futardo, A.L., 1982. A Temporal Framework for Database Specifications. In: Eighth International Conference on Very Large Databases, Mexico City, Mexico.
-
(1982)
Eighth International Conference on Very Large Databases
-
-
Castilho, J.M.V.D.1
Casanova, M.A.2
Futardo, A.L.3
-
6
-
-
0019698418
-
Structured methodology for designing static and dynamic aspects of database applications
-
Ceri, S., Pelagatti, C., Bracchi, G., 1981. Structured methodology for designing static and dynamic aspects of database applications. Information Systems 1 (6), 31-45.
-
(1981)
Information Systems
, vol.1
, Issue.6
, pp. 31-45
-
-
Ceri, S.1
Pelagatti, C.2
Bracchi, G.3
-
7
-
-
84949050227
-
Specification and Enforcement of Dynamic Consistency Constraints
-
Baltimore, Maryland, USA
-
Cervasato, I., Eick, C.F., 1992. Specification and Enforcement of Dynamic Consistency Constraints. In: ISSM International Conference on Information and Knowledge Management (CIKM'92), Baltimore, Maryland, USA.
-
(1992)
ISSM International Conference on Information and Knowledge Management (CIKM'92)
-
-
Cervasato, I.1
Eick, C.F.2
-
8
-
-
0026677240
-
History-Less checking of dynamic integrity constraints
-
Tempe, Arizona, USA, Computer Society Press
-
Chomicki, J., 1992. History-Less checking of dynamic integrity constraints. In: Eighth International Conference on Data Engineering, Tempe, Arizona, USA, Computer Society Press.
-
(1992)
Eighth International Conference on Data Engineering
-
-
Chomicki, J.1
-
9
-
-
0021785305
-
Timing constraints of real-time systems: Constructs for expressing them, methods of validating them
-
Dasarathy, B., 1985. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them. IEEE Transactions on Software Engineering SE-11 (1), 80-86.
-
(1985)
IEEE Transactions on Software Engineering
, vol.SE-11
, Issue.1
, pp. 80-86
-
-
Dasarathy, B.1
-
10
-
-
0010009428
-
Active database systems
-
Kim, W. (Ed.), Addison-Wesley, Reading, MA
-
Dayal, U., Hanson, E., Widom, J., 1995. Active database systems. In: Kim, W. (Ed.), Modern Database Systems. The Object Model, Interoperability, and Beyond. Addison-Wesley, Reading, MA.
-
(1995)
Modern Database Systems. The Object Model, Interoperability, and Beyond
-
-
Dayal, U.1
Hanson, E.2
Widom, J.3
-
11
-
-
0021540008
-
Specification, semantics, and enforcement of dynamic database constraints
-
Singapore
-
Ehrick, H.-D., Lipeck, U.W., Gogolia, M., 1984. Specification, semantics, and enforcement of dynamic database constraints. In: 10th International Conference on Very Large Databases, Singapore.
-
(1984)
10th International Conference on Very Large Databases
-
-
Ehrick, H.-D.1
Lipeck, U.W.2
Gogolia, M.3
-
12
-
-
0026140760
-
Object/Behavior diagrams
-
Kobe, Japan, Computer Society Press
-
Kappel, G., Schrefl, M., 1991. Object/Behavior diagrams. In: Seventh International Conference on Data Engineering, Kobe, Japan, Computer Society Press.
-
(1991)
Seventh International Conference on Data Engineering
-
-
Kappel, G.1
Schrefl, M.2
-
13
-
-
0004133616
-
-
Addison-Wesley, Reading, MA
-
Kim, W. (Ed.), 1995. Modern Database Systems. The Object Model, Interoperability, and Beyond. Addison-Wesley, Reading, MA.
-
(1995)
Modern Database Systems. The Object Model, Interoperability, and Beyond
-
-
Kim, W.1
-
16
-
-
0023532648
-
Monitoring dynamic integrity constraints based on temporal logic
-
Lipeck, U.W., Saake, G., 1987. Monitoring dynamic integrity constraints based on temporal logic. Information Systems 12 (3), 255-269.
-
(1987)
Information Systems
, vol.12
, Issue.3
, pp. 255-269
-
-
Lipeck, U.W.1
Saake, G.2
-
17
-
-
84949050237
-
Consistency checking in object-oriented databases. A behavioral approach
-
Baltimore, Maryland, USA
-
Martin, H., Abida, M., Defude, B., 1992. Consistency checking in object-oriented databases. A behavioral approach. In: ISSM International Conference on Information and Knowledge Management (CIKM'92), Baltimore, Maryland, USA.
-
(1992)
ISSM International Conference on Information and Knowledge Management (CIKM'92)
-
-
Martin, H.1
Abida, M.2
Defude, B.3
-
19
-
-
0024922938
-
Modeling dynamic constraints using augmented place transition nets
-
Mück, T., Vinek, G., 1989. Modeling dynamic constraints using augmented place transition nets. Information Systems 14 (4), 327-340.
-
(1989)
Information Systems
, vol.14
, Issue.4
, pp. 327-340
-
-
Mück, T.1
Vinek, G.2
-
20
-
-
0000737870
-
Real-Time Behaviour of Asynchronous Agents
-
Springer, Berlin
-
Wang, Y., 1990. Real-Time Behaviour of Asynchronous Agents, CONCUR'90. Springer, Berlin.
-
(1990)
CONCUR'90
-
-
Wang, Y.1
-
21
-
-
0003501982
-
-
Morgan Kaufmann, San Francisco, CA
-
Widom, J., Ceri, S., 1996. Active Database Systems. Morgan Kaufmann, San Francisco, CA.
-
(1996)
Active Database Systems
-
-
Widom, J.1
Ceri, S.2
-
22
-
-
0039726322
-
Specifying dynamic and deontic integrity constraints
-
Wieringa, R., Meyer, J.-J., Weigand, H., 1989. Specifying dynamic and deontic integrity constraints. Data & Knowledge Engineering 4, 157-189.
-
(1989)
Data & Knowledge Engineering
, vol.4
, pp. 157-189
-
-
Wieringa, R.1
Meyer, J.-J.2
Weigand, H.3
-
23
-
-
0346128046
-
On the specification of database transition constraints using first-order logic
-
Baltimore, Maryland, USA
-
Yang, C.-M., Henschen, L.H., 1992. On the specification of database transition constraints using first-order logic. In: ISSM International Conference on Information and Knowledge Management (CIKM'92), Baltimore, Maryland, USA.
-
(1992)
ISSM International Conference on Information and Knowledge Management (CIKM'92)
-
-
Yang, C.-M.1
Henschen, L.H.2
-
24
-
-
0003900692
-
-
Morgan Kaufmann, Los Altos, CA
-
Zaniolo, C., Ceri, S., Falutsos, C., Snodgrass, R.T., Subrahmanian, V.S., Zicari, R., 1997. Advanced Database Systems. Morgan Kaufmann, Los Altos, CA.
-
(1997)
Advanced Database Systems
-
-
Zaniolo, C.1
Ceri, S.2
Falutsos, C.3
Snodgrass, R.T.4
Subrahmanian, V.S.5
Zicari, R.6
|