article

Free access

On verification of database temporal constraints

Author:

C. H. KungAuthors Info & Claims

ACM SIGMOD Record, Volume 14, Issue 4

Pages 169 - 179

https://doi.org/10.1145/971699.318911

Published: 01 May 1985 Publication History

PDF eReader

References

[1]

Ariav G, J Clifford and M Jarke, Panel abstract on time and databases, Proc ACM SIGMOD Annual Meeting, San Jose, May 23 - 26, 1983 pp 143 - 145

Digital Library

Google Scholar

[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

Digital Library

Google Scholar

[3]

Bolour, A, T L Anderson, L J Dekeyser and H K T Wong, The role of time in information processing a survey, ACM SIGART Newsletter April 1982 pp 28 - 48

Digital Library

Google Scholar

[4]

Brodie, M L, Specification and Verification of Database Semantrc Integrity, Ph D Thesis, Computer Systems Research Group, Univ of Toronto, 1978

Digital Library

Google Scholar

[5]

Bubenko 3r J A, Validity and verlflcation aspects of information modelling, Proc 3rd Intl' Conf on VLDB, Tokyo, Ott 1977 pp 556 - 565

Google Scholar

[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

Crossref

Google Scholar

[7]

Bubenko 7r J A, Information modellrng rn the context of system development, Invited paper to IFIP Congress, 1980 pp 395-411

Google Scholar

[8]

Castrlho, J M V de, H A Casanova, and A L Furtado, A temporal framework for database specifrcatrons, Proc on 8th VLDB Conf, Mexico City, Mexico, Sept 8 - 10, 1982 pp 280 - 291

Digital Library

Google Scholar

[9]

Chang, C C and H J Kessler, Model Theory, N H Pub1 Comp, 1973

Google Scholar

[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

Digital Library

Google Scholar

[11]

Codd E F, Extending the database relational model to capture more meaning, ACM TODS, Vol 4, No 4, Dee 1979

Digital Library

Google Scholar

[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

Google Scholar

[13]

Ehrlch H D, U W Lipeck and M Gogolla, Speclflcatlon,semantIcs, and enforcement of dynamic database constraints, Proc 10th Intl' Conf on VLDB, Singapore, Aug 27 - 31, 1984 PP 301 - 308

Digital Library

Google Scholar

[14]

Furtado, A L, Dynamic modelling of a simple existence constraint, in Information Systems, Vol 6, 1981 pp 73 - 80

Crossref

Google Scholar

[15]

Golshani, F, T S E Maibaum and M R Sadler, A modal system of algebras for database specification and query/update language support, Proc of 9th Intl' Conf on VLDB, Florence, Italy, Ott 31 - Nov 2, 1983 pp 331 - 340

Digital Library

Google Scholar

[16]

Hammer !4, Database description with SDM A semantic data model, ACM TODS, Vol 6, No 3, Sept 1981 pp 351 - 386

Digital Library

Google Scholar

[17]

Hopcroft, J E and J D Ullman, Formal Languages and Their Relation to Automata, Addisron-Wesley Pub1 Cow, 1969

Digital Library

Google Scholar

[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

Google Scholar

[19]

Kowalski, R, Logic for Problem Solving, Elsevlew, N H, Inc, 1979

Digital Library

Google Scholar

[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

Google Scholar

[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

Google Scholar

[22]

Kung, C H, A temporal framework for database specifrcatlon and verlflcatlon, Proc of 10th Intl' Conf on VLDB, Singapore, Aug 27 - 31, 1984 pp 91 - 99

Digital Library

Google Scholar

[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

Google Scholar

[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

Crossref

Google Scholar

[25]

Lewis, H R, Cycles of Unifiablllty and Decidability by Resolution, Aiken Computation Laboratory, Harvard Unlv, Tech Rept, 1975

Google Scholar

[26]

Lewis H R, Unsolvable Classes of Quantificational Formulae, Addison- Wesley Pub1 Comp, Inc, 1979

Google Scholar

[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

Google Scholar

[28]

Martin J, System Design From Provably Correct Constructs the beginnings of true software engineering, Prentice- Hall, 1984

Digital Library

Google Scholar

[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

Google Scholar

[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

Google Scholar

[31]

Olive, A, Information derivability analysis in logical information systems, CACM Vol 26, No 11, Nov, 1983 pp 933 - 938

Digital Library

Google Scholar

[32]

Owlckl, S and L Lamport, Proving liveness properties of concurrent programs, ACM Trans on Prop Lang and Syst I vol 4, no 3, July 1982 PP 455 - 495

Digital Library

Google Scholar

[33]

Robinson, J A, A machine-oriented logic based on the resolution principle, J ACM, vol 12, no 1, Jan 1965 pp 23 - 41

Digital Library

Google Scholar

[34]

Schiel, U, An abstract lntroductlon to the temporal-hierarchic data model (THM), Proc 9th Intl' Conf on VLDB, Florence, Italy, Ott 31 - NoV 2, 1983 pp 322 - 330

Digital Library

Google Scholar

[35]

Sernadas, A, Temporal aspects of logical procedure definition, Info Syst Vol 5, No 3, 1980 PP 167 - 187

Crossref

Google Scholar

[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

Google Scholar

[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

Google Scholar

[38]

Stonebraker, M, Implementation of integrity constraints and views by query modification, Proc of the 1975 SIGMOD Conf San Jose, Calif May 1975 pp 65 - 78

Digital Library

Google Scholar

[39]

Wlnograd, T, Beyond programming languages, CACM Vol 22 No 7, July 1979 pp 391 - 401

Digital Library

Google Scholar

[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

Digital Library

Google Scholar

Cited By

View all

Bækgaard L(2005)Transaction-based specification of database evolutionConceptual Modeling — ER '9710.1007/3-540-63699-4_11(127-140)Online publication date: 29-Jul-2005
https://doi.org/10.1007/3-540-63699-4_11
Lipeck U(1990)Transformation of dynamic integrity constraints into transaction specificationsTheoretical Computer Science10.1016/0304-3975(90)90014-976:1(115-142)Online publication date: 1-Oct-1990
https://dl.acm.org/doi/10.1016/0304-3975%2890%2990014-9
Lipeck U(1986)Stepwise specification of dynamic database behaviourProceedings of the 1986 ACM SIGMOD international conference on Management of data10.1145/16894.16892(387-397)Online publication date: 15-Jun-1986
https://dl.acm.org/doi/10.1145/16894.16892
Show More Cited By

Index Terms

On verification of database temporal constraints
1. Information systems
  1. Data management systems
    1. Database design and models
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

On verification of database temporal constraints
SIGMOD '85: Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Temporal Data Management Systems: A Comparative View

Characteristics and requirements of systems for temporal data management in the areas of data and knowledge bases, artificial intelligence, and software engineering are investigated and discussed on the basis of a case study. Six representative ...
Entities and relations for historical relational databases
TIME '97: Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)

Research to extend models of data to handle the temporal dimension has been conducted mainly in the context of the relational data model. In the relational model, the primary object of database design, manipulation and retrieval is the relation, viewed ...

Comments

Information & Contributors

Information

Published In

ACM SIGMOD Record Volume 14, Issue 4

May 1985

423 pages

ISSN:0163-5808

DOI:10.1145/971699

Issue’s Table of Contents

SIGMOD '85: Proceedings of the 1985 ACM SIGMOD international conference on Management of data
May 1985
66 pages
ISBN:0897911601
DOI:10.1145/318898
Chairmen:
Shamkant B. Navathe
Univ. of Florida, Gainesville
,
Al Dale
Univ. of Texas

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1985

Published in SIGMOD Volume 14, Issue 4

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
547
Total Downloads

Downloads (Last 12 months)107
Downloads (Last 6 weeks)10

Reflects downloads up to 04 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bækgaard L(2005)Transaction-based specification of database evolutionConceptual Modeling — ER '9710.1007/3-540-63699-4_11(127-140)Online publication date: 29-Jul-2005
https://doi.org/10.1007/3-540-63699-4_11
Lipeck U(1990)Transformation of dynamic integrity constraints into transaction specificationsTheoretical Computer Science10.1016/0304-3975(90)90014-976:1(115-142)Online publication date: 1-Oct-1990
https://dl.acm.org/doi/10.1016/0304-3975%2890%2990014-9
Lipeck U(1986)Stepwise specification of dynamic database behaviourProceedings of the 1986 ACM SIGMOD international conference on Management of data10.1145/16894.16892(387-397)Online publication date: 15-Jun-1986
https://dl.acm.org/doi/10.1145/16894.16892
Lipeck U(1986)Stepwise specification of dynamic database behaviourACM SIGMOD Record10.1145/16856.1689215:2(387-397)Online publication date: 15-Jun-1986
https://dl.acm.org/doi/10.1145/16856.16892
Cai SGallina BNystrom DSeceleanu C(2016)Towards the verification of temporal data consistency in Real-Time Data Management2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)10.1109/CPSData.2016.7496422(1-6)Online publication date: Apr-2016
https://doi.org/10.1109/CPSData.2016.7496422
Hong W(2012)t-GIS and environmental dynamic modelsGeo-spatial Information Science10.1007/BF028266073:3(34-41)Online publication date: 29-Aug-2012
https://doi.org/10.1007/BF02826607
Plexousakis D(2005)Compilation and simplification of temporal integrity constraintsRules in Database Systems10.1007/3-540-60365-4_132(260-274)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-60365-4_132
Arapis C(2005)Temporal specifications of object behaviorMFDBS 9110.1007/3-540-54009-1_22(308-324)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-54009-1_22
Bækgaard LGodskesen J(1998)Real-time event control in active databasesJournal of Systems and Software10.1016/S0164-1212(98)10014-642:3(263-271)Online publication date: 1-Sep-1998
https://dl.acm.org/doi/10.1016/S0164-1212%2898%2910014-6
Chomicki JToman D(1998)Temporal Logic in Information SystemsLogics for Databases and Information Systems10.1007/978-1-4615-5643-5_3(31-70)Online publication date: 1998
https://doi.org/10.1007/978-1-4615-5643-5_3
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations