On verification of database temporal constraints

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gad Ariav , Jim Clifford , Matthias Jarke, Panel on time and databases, Proceedings of the 1983 ACM SIGMOD international conference on Management of data, May 23-26, 1983, San Jose, California
	2	Balzer , R and Neil Goldman, Principles of good software specification and their implications for specification languages, National Computer Conference, USA, 1981 pp 393 - 400
	3	A. Bolour , T. L. Anderson , L. J. Dekeyser , H. K. T. Wong, The role of time in information processing: a survey, ACM SIGART Bulletin [doi>10.1145/1056176.1056180]
	4	Michael Lawrence Brodie, Specification and verification of data base semantic integrity., 1978
	5	Bubenko 3r J A , Validity and verlflcation aspects of information modelling, Proc 3rd Intl' Conf on VLDB, Tokyo, Ott 1977 pp 556 - 565
	6	Bubenko, J A Jr , On the role of 'understanding models' in conceptual schema design, Proc of 5th Intl' Conf on VLDB, Rio De Janeiro, Brazil, Ott 3 - 5, 1979 pp 129 - 139
	7	Bubenko 7r J A , Information modellrng rn the context of system development, Invited paper to IFIP Congress, 1980 pp 395-411
	8	José Mauro V. de Castilho , Marco A. Casanova , Antonio L. Furtado, A Temporal Framework for Database Specifications, Proceedings of the 8th International Conference on Very Large Data Bases, p.280-291, September 08-10, 1982
	9	Chang, C C and H J Kessler, Model Theory, N H Pub1 Comp , 1973
	10	Chow, T S , Testing software design modeled by finite-state machines, IEEE Trans on Software Engineering, Vol SE-4, No 3, May 1978 pp 178 - 187
	11	E. F. Codd, Extending the database relational model to capture more meaning, ACM Transactions on Database Systems (TODS), v.4 n.4, p.397-434, Dec. 1979 [doi>10.1145/320107.320109]
	12	Connor, M F , Structured analysis and design technique, in Systems Analysis and Design, A Foundation for the 1980's, Edited by Cotterman, W W et al, N H Pub1 Comp , 1981 pp 213 - 234
	13	Hans-Dieter Ehrich , Udo W. Lipeck , Martin Gogolla, Specification, Semantics, and Enforcement of Dynamic Database Constraints, Proceedings of the 10th International Conference on Very Large Data Bases, p.301-308, August 27-31, 1984
	14	Furtado, A L , Dynamic modelling of a simple existence constraint, in Information Systems, Vol 6, 1981 pp 73 - 80
	15	Forouzan Golshani , T. S. E. Maibaum , M. R. Sadler, A Modal System of Algebras for Database Specification and Query/Update Language Support, Proceedings of the 9th International Conference on Very Large Data Bases, p.331-339, October 31-November 02, 1983
	16	Michael Hammer , Dennis Mc Leod, Database description with SDM: a semantic database model, ACM Transactions on Database Systems (TODS), v.6 n.3, p.351-386, Sept. 1981 [doi>10.1145/319587.319588]
	17	John E. Hopcroft , Jeffrey D. Ullman, Formal languages and their relation to automata, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1969
	18	Hove, JO, Kungs f4etode for Konsistensbevrs og Hodellkonstrukslon Anvendt pa Kommunlkas}ons Protokaller, Master Thesis, Dept of Computer Science, The Norwegian Inst of Tech , Trondhelm, NORWAY, 1984
	19	Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
	20	Kung, C H, An analysis of three conceptual models with time perspective, in Information Systems Design Hethodologles Analysis, Olle et al (ed s),~N HFei:bUie Cow , 1983 pp 141 - 168
	21	Kung, C H, A Temporal Framework for Information Systems Speclflcatlon and Verlflcatron, Ph D Thesis, Dept of Computer Science, The Norwegian InSt of Tech , Trondheim, NORWAY, April 1984
	22	David Chenho Kung, A Temporal Framework for Database Specification and Verification, Proceedings of the 10th International Conference on Very Large Data Bases, p.91-99, August 27-31, 1984
	23	Rung C H , A tableaux approach for consistency checking, Proc IFIP WC8 1 Working Conference on Theoretical and Formal Aspect of Information Systems, Sernadas A et al (ed s), N H Pub1 Comp , 1985
	24	Leveson, N G , A I Wasserman, and D I4 Berry, BASIS A behavioral approach to the specification of information systems, in Information Systems, Vol 8, No 1, 1983 pp 15 - 23
	25	Lewis, H R , Cycles of Unifiablllty and Decidability by Resolution, Aiken Computation Laboratory, Harvard Unlv , Tech Rept , 1975
	26	Lewis H R , Unsolvable Classes of Quantificational Formulae, Addison- Wesley Pub1 Comp , Inc , 1979
	27	Lundberg, B , IMT - An lnformatlon modelllng tool, Proc IFIP WC8 1 WC on Automated Tools for IS Design and Development, New Orleans, USA, 1982
	28	James Martin, System design from provably correct constructs, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	29	Mcarthy, J and P Hayes, Some philosophical problems from the stanpoint of artificial intelligence, in Machine Intelligence no 4, B Heltzer and D Michie (ed s), Edinburgh Univ Press, Edinburgh, 1969 pp 463 - 502
	30	Nicolas, J and H Gallalre, Database Theory Versus Interpretation, in Logic and Databases, Gallaire et al (ed s), Plenum Press, 1978 pp 33 - 54
	31	Antoni Olivé, Information derivability analysis in logical information systems, Communications of the ACM, v.26 n.11, p.933-938, Nov. 1983 [doi>10.1145/182.358450]
	32	Susan Owicki , Leslie Lamport, Proving Liveness Properties of Concurrent Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.455-495, July 1982 [doi>10.1145/357172.357178]
	33	J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM (JACM), v.12 n.1, p.23-41, Jan. 1965 [doi>10.1145/321250.321253]
	34	Ulrich Schiel, An Abstract Introduction to the Temporal-Hierarchic Data Model (THM), Proceedings of the 9th International Conference on Very Large Data Bases, p.322-330, October 31-November 02, 1983
	35	Sernadas, A , Temporal aspects of logical procedure definition, Info Syst Vol 5, No 3, 1980 PP 167 - 187
	36	Sernadas A , Bubenko J and Olive A (ed s), Theoretical and Formal Aspect of Information Systems, Proc IFIP WC8 1 Working Conference, Sitges, Spain, April 16 - 18, N H Pub1 Comp , 1985
	37	Solvberg A and CH Kung, On structural and behavioral modelllng of reality, Proc IFIP TC2 WG2 6 WC on Database Semantics, Hasselt, Belgium, Jan 7 - 11, 1985
	38	Michael Stonebraker, Implementation of integrity constraints and views by query modification, Proceedings of the 1975 ACM SIGMOD international conference on Management of data, May 14-16, 1975, San Jose, California [doi>10.1145/500080.500091]
	39	Terry Winograd, Beyond programming languages, Communications of the ACM, v.22 n.7, p.391-401, July 1979 [doi>10.1145/359131.359133]
	40	Wolper, P , Temporal logic can be more expressive, 22nd Annual Symposium on Foundations of Computer Science, Nashville, Tennessee, Ott 28 - 30, 1981 pp 340 - 348