Journal of Information and Knowledge (Formerly SRELS Journal of Information Management)

Open Access Open Access  Restricted Access Subscription Access
Open Access Open Access Open Access  Restricted Access Restricted Access Subscription Access

A Formal Model of ODS Schema in LIPS


Affiliations
1 B C Roy Library, Indian Institute of Management Calcutta, Kolkata-700104, India
2 Department of Library and Information Science, Guru Ghasidas University, Bilaspur (CG), India
     

   Subscribe/Renew Journal


LIPS (Library Information Processing System) which I have proposed during the study for my research. A library system contains books, authors, and users and many types of other materials. The Location in identified for books by a Class Number, authors by authors name, and user by a user name. To execute a query on any of these components the Management Software needs accumulated expression, formulae and rules. Therefore, semantics of an Object Oriented Database System schema greatly depends on the model theory of accumulated expression calculus. Moreover, an ODS schema involves recursive specification. Recursion arises with recursive rules as well as with recursive message definition. In order to uniquely define the semantics of such a schema the structure of models plays an important role. It has been shown during this discussion that for a restricted class of schema, the semantics can be uniquely specified. The intention of this article is to highlight the finding during our study on LIPS regarding the used expression, formulae and rules in the ODS schema. The approach used here is the least fixed-point approach of specification of semantics. In the following discussion we exclude formulae, which involves negation. Unless explicitly mentioned a formula is assumed to be free of negation. The utility of different features of algebra will be clear in subsequent sections when the tools developed here are used in describing the semantics for query processing.

Keywords

Library Information Processing System, Object Oriented Database, Fixed-Point Approach, Functional Programming Languages, Calculus of Accumulated Expressions.
User
About The Authors

Kamalendu Majumdar
B C Roy Library, Indian Institute of Management Calcutta, Kolkata-700104
India

U. N. Singh
Department of Library and Information Science, Guru Ghasidas University, Bilaspur (CG)
India


Notifications

  • Kent (W). Limitations of record-oriented information models. ACM Tmnsactions on Database Systems. Vol. 4(1); 1979; p107-131.

  • Pujari (Arun). Database Management System. ISTE; Learing Materials Centre.New Delhi, 2001.

  • Backus (John). Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. Communications of the ACM. Vol. 21(8); August 1978; p613-641.

  • Majumdar (Kamalendu); Singh (U N). Integrated library management system: Circulation Module. SRELS Journal of Information Management. Vol. 41(1); 2004; p91-106.

  • Majumdar (Kamalendu); Singh (U N). Library Information processing system: ODS Data Model. SRELS Journal of Information Management. Vol. 42(2); 2005; p101-130.


Abstract Views: 586

PDF Views: 5




  • A Formal Model of ODS Schema in LIPS

Abstract Views: 586  |  PDF Views: 5

Authors

Kamalendu Majumdar
B C Roy Library, Indian Institute of Management Calcutta, Kolkata-700104, India
U. N. Singh
Department of Library and Information Science, Guru Ghasidas University, Bilaspur (CG), India

Abstract


LIPS (Library Information Processing System) which I have proposed during the study for my research. A library system contains books, authors, and users and many types of other materials. The Location in identified for books by a Class Number, authors by authors name, and user by a user name. To execute a query on any of these components the Management Software needs accumulated expression, formulae and rules. Therefore, semantics of an Object Oriented Database System schema greatly depends on the model theory of accumulated expression calculus. Moreover, an ODS schema involves recursive specification. Recursion arises with recursive rules as well as with recursive message definition. In order to uniquely define the semantics of such a schema the structure of models plays an important role. It has been shown during this discussion that for a restricted class of schema, the semantics can be uniquely specified. The intention of this article is to highlight the finding during our study on LIPS regarding the used expression, formulae and rules in the ODS schema. The approach used here is the least fixed-point approach of specification of semantics. In the following discussion we exclude formulae, which involves negation. Unless explicitly mentioned a formula is assumed to be free of negation. The utility of different features of algebra will be clear in subsequent sections when the tools developed here are used in describing the semantics for query processing.

Keywords


Library Information Processing System, Object Oriented Database, Fixed-Point Approach, Functional Programming Languages, Calculus of Accumulated Expressions.

References