Title :
Method and theory of Grammar based data model
Author_Institution :
Beijing Language & Culture Univ., Beijing, China
Abstract :
In the environment of large scale internetwork, data volume is very large and data schema is rapid evolving, data management has met some new and serious challenges. The paper proposes Grammar based data model(GDM), which represents many kinds of data models, such as relational data model, semi-structured data model and some picture data model. To formalize GDM data manipulation, we define GDM data manipulation logic based on monadic second order logic, at the same time we prove that there exists a linear algorithm of GDM data manipulation.
Keywords :
database management systems; formal logic; grammars; internetworking; GDM data manipulation logic; data management; data schema; data volumn; grammar based data model; large scale internetwork; linear algorithm; monadic second order logic; picture data model; relational data model; semistructured data model; Algebra; Compounds; Data models; Database languages; Databases; Grammar; XML; Grammar based Data Model; Monadic Second Order Logic; Unified Data Model;
Conference_Titel :
IT in Medicine and Education (ITME), 2011 International Symposium on
Conference_Location :
Cuangzhou
Print_ISBN :
978-1-61284-701-6
DOI :
10.1109/ITiME.2011.6130845
