Higher-order types and information modeling

Advanced Topics in Database Research

Volumn 4, Issue , 2005, Pages 218-237

  Halpin, Terry ^a  

^a Northface University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84873026520     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-59140-471-2.ch010     Document Type: Chapter

References (23)

1. Andrews, P. B. (2002). An introduction to mathematical logic and type theory: To truth through proof. Dordrecht: Kluwer Academic Publishers.
2. Bakema, G., Zwart, J., & van der Lek, H. (1994). Fully communication oriented NIAM. In G. M. Nijssen & J. Sharp (Eds.), NIAM-ISDM 1994 Conference Working Papers (pp. L1-35). Albuquerque, NM.
3. Chen, P. P. (1976). The entity-relationship model-towards a unified view of data. ACM Transactions on Database Systems, 1(1), 9-36.
4. Codd, E. F. (1970). A relational model of data for large shared data banks. CACM, 13(6), 377-87.
5. De Troyer, O., & Meersman, R. (1995). A logic framework for a semantics of object oriented data modeling. Proceedings of the 14th International ER Conference (LNCS 1021, pp. 238-249). Gold Coast, Australia: Springer.
6. Fitting, M. (2000a). Modality and databases. In R. Dyckhoff (Ed.), Automated reasoning with analytic tableaux and related methods (LNAI 1847, pp. 19-39). Berlin: Springer-Verlag.
7. Fitting, M. (2000b). Databases and higher types. In J. Lloyd et al. (Eds.), Computational logic - CL2000, (LNAI 1861, pp. 41-52). Berlin: Springer-Verlag.
8. Fitting, M. (2002). Types, tableaus, and Gödel's God. Dordrecht: Kluwer Academic Publishers.
9. Girle, R. (2000). Modal logics and philosophy. Montreal/Kingston: McGill- Queen's University Press.
10. Girle, R. (2003). Possible worlds. Montreal/Kingston: McGill-Queen's University Press.
11. Halpin, T. A. (1989). A logical analysis of information systems: Static aspects of the data-oriented perspective. Unpublished doctoral dissertation, University of Queensland.
12. Halpin, T. A. (1998). ORM/NIAM object-role modeling. In P. Bernus, K. Mertins, & G. Schmidt (Eds.), Handbook on information systems architectures (pp. 81-101). Berlin: Springer-Verlag.
13. Halpin, T. A. (2001). Information modeling and relational databases. San Francisco: Morgan Kaufmann.
14. Halpin, T. A. (2002). Metaschemas for ER, ORM and UML: A comparison. Journal of Database Management, 13(2), 20-30.
15. Hayes, P., & Menzel, C. (2001). A semantics for knowledge interchange format. Proceedings of 2001 Workshop on the IEEE Standard Upper Ontology. Retrieved November 26, 2004, from http://reliant.teknowledge.com/IJCAI01/HayesMenzel-SKIF-IJCAI2001.pdf.
16. Lyons, J. (1995). Linguistic semantics: An introduction. Cambridge, UK: Cambridge University Press.
17. Mendelson, E. (1997). Introduction to mathematical logic. Boca Raton, FL: Chapman & Hall/CRC.
18. Menzel, C. (2003). The common logic standard. Retrieved November 26, 2004, from http://cl.tamu.edu/CL-ISO.pdf.
19. OMG. (2003a). UML 2.0 infrastructure specification. Retrieved November 26, 2004, from http://www.omg.org/uml.
20. OMG. (2003b). UML 2.0 superstructure specification. Retrieved November 26, 2004, from http://www.omg.org/uml.
21. Rumbaugh, J., Jacobson, I., & Booch, G. (1999). The unified language reference manual. Reading, MA: Addison-Wesley.
22. ter Hofstede, A. H. M., Proper, H. A., & van der Weide, P. (1993). Formal definition of a conceptual language for the description and manipulation of information models. Information Systems, 18(7), 489-523.
23. Thomas, J. (1995). Meaning in interaction: An introduction to pragmatics. London: Longman.