An unified dynamic description logic model for databases: relational data, relational operations and queries

  • Authors:

  • Guoshun Hao;Shilong Ma;Yuefei Sui;Jianghua Lv

  • Affiliations:

  • Beihang University, Beijing, China;Beihang University, Beijing, China;Chinese Academy of Sciences, Beijing, China;Beihang University, Beijing, China

  • Venue:
  • ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to logical systems with enriched semantics and enhanced reasoning mechanism. A typical relational database model comprises three components: relational data model, relational operations, and queries. Therefore, a DL model for databases should also unify these three components together. However, most available DL models for databases only describe one or two components of database models. After pointing out the two key factors resulting in the absence of such a model, the paper develops an extended dynamic description logic language DALCP based on PDLC with enriched form of action modal operators. Based on PALCP, an unified DL models for databases is presented. It represents relational data by ALC, represents relational operations by atomic modal operators representation; and represents queries by complex modal operators. In addition, translation functions are provided to transform arbitrary database systems into DL systems automatically. Because the model unifies data and operations together, query processing could be done based on the logical inference mechanism which is very different from other work.