Skip to main content
SpringerLink
Log in

A logic-based mechanism for integrity maintenance of engineering databases

  • Published:
Engineering with Computers Aims and scope Submit manuscript

Abstract

The semantics of engineering data can be represented in terms of constraints and can be maintained via constraint checking and enforcement. Conventional databases (e.g. Relational Databases) are inadequate for maintaining engineering data semantics because they have no effective means for representing and checking/enforcing constrains. As an extension of relational databases, deductive databases overcome this inadequacy by enabling constraint representation and checking. However, they too lack the constraint enforcement ability. a logic-based mechanism for enforcing constrainst in deductive databases is presented in this paper. The mechanism is composed of two operators: a truth enforcement operator and a falsity enforcement operator. The mechanics of these operators and their use for integrity enfocement are described herein.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Brodie, M.L. (1986) On the development of data models, in On Conceptual Modelling, M.L. Brodie, J. Mylopoulos and J.W. Schmidt (Editors), Springer-Verlag, New York

    Google Scholar 

  2. Vernadat, F. (1985) A selected bibliography with keywords on engineering databases, Database Engineering, 3, 55–63

    Google Scholar 

  3. Sreekanta Murphy, T.; Arora, J.S. (1985) A survey of database management in engineering, Advances in Engineering Software, 7, 126–132

    Google Scholar 

  4. Yagiu, T. (1991) Modeling Design Objects and Processes, Springer-Verlag, New York

    Google Scholar 

  5. Encarnacao, J.L. (1990) Engineering Databases, Springer-Verlag, New York

    Google Scholar 

  6. Law, K.H.; Barsalou, T.; Wiederhold, G. (1990) Management of complex structural engineering objects in a relational framework, Engineering with Computers, 6, 81–92

    Google Scholar 

  7. Fenves, S.J.; Rasdorf, W.J. (1985) Treatment of engineering design constraints in a relational database, Engineering with Computers, 1, 27–37

    Google Scholar 

  8. Rasdorf, W.J.: Wang, T.E. (1986) CDIS: an engineering constraint definition and integrity enforcement system for relational databases, Proceedings of the 1986 International Computers in Engineering Conferences, ASME, Chicago.

  9. Rasdorf, W.J.; Ulberg, K.J.; Baugh, J.W. (1987) A structurebased model of semantic integrity constraints for relational databases, Engineering with Computers, 2, 31–39

    Google Scholar 

  10. Harland, J.; Kemp, D.B.; Leask, T.S.; Ramamohanarao, K.; Shepherd, J.A.; Somogyi, Z.; Stuckey, P.J.; Vaghani J. (1992) Aditi Users' Guide, Technical Report 92/26, Department of Computer Science, University of Melbourne, Parksville, Australia

    Google Scholar 

  11. Ramakrishnan, R.; Seshadri, P.; Strivastava, D. (1992) The Coral User Manual, Computer Science Department, University of Wisconsin-Madison

Download references

Author information

Authors and Affiliations

  1. Civil Engineering Department, Catholic University of America, 20064, Washington, DC, USA

    Sivand Lakmazaheri

Authors
  1. Sivand Lakmazaheri
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lakmazaheri, S. A logic-based mechanism for integrity maintenance of engineering databases. Engineering with Computers 11, 46–57 (1995). https://doi.org/10.1007/BF01230444

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01230444

Keywords

Search

Navigation