Research And Application Of Data Model For Sharing System

Data model, the core and base of sharing system, is the mainline of development andapplication of sharing system, which represents accurately data structure, relationshipbetween data and semantic constraints of sharing system, defines static characteristic,dynamic behavior and dependency rule of sharing system at more abstract level. At presentdata models used widely apply graphic languages and text languages to define users groupsharing behaviors and business sharing process intuitively, which is lack of uniform conceptsand accurate formal description, in the meantime the scarcity of firm theory foundation forconsistency conversion of sharing system status, semantic integrity of models conversion andso on, results in the disjunction between theoretical research and practical application for datamodel. This is mainly because of the deficiency of accurate description and precisereprentation of inherent sharing law for existing data models, and this kind of law is related toessence of sharing computation, which is the foundation of analyzing users group sharingbehaviors and business sharing process furthermore. There is not only more significant theorysense but also more important practice value.Therefore, aiming at users group sharing behaviors and business sharing processes, thispaper provides and designs40pieces of share rules constraining users group sharingbehaviors and business sharing processes, which being formal theory framework describingaccurately and representing precisely sharing computation inherent law, and as semanticconstraint to make BSDM(Basic Sharing Data Model); based on this model this paper alsomakes formal language algebra model BKL(BSDM Kernel Languages); presents the conceptof language reuse and makes reuseful language family model {Li} which being BKL as itskernel by three methods of language reuse; applies categorical methods and tools to deeplystudy algebra properties of {Li} and consistency conversion of system status, semanticintegrity of models conversion and so on; designs and implements complex multi-tasks largescale sharing system Wetoband which being BSDM as its data model, makes high order typelanguage model WFL(Wetoband Formal Language) by formal language theory and languagereuse methods; and researches deeply distributed database integrity technology of Wetoband.The innovative points and main works of this paper include: 1. Summarizing current primary data models from three aspects of relative technologies,main data models and some classical sharing system, analyzing respective advantages andshortcomings, then this paper confirms research tasks.2. The deficiencies of accurate description and precise representation for inherent lawwhich expresses the essence of sharing computation, define users group sharing behaviors andbusiness sharing process intuitively by graphic languages and text languages, and scarcity ofuniform concepts and accurate formal description are main problems for current many sharingsystem data models. This paper provides and designs share rules constraining users groupsharing behaviors and business sharing processes, including40pieces of rules classified sixsorts to express inherent law of sharing computation, makes a kind of convenient and efficientformal theory framework. The share rules provided by this paper are not restricted to anyparticular circumstance of sharing computation, describe users group sharing behaviors andbusiness sharing processes at much higher abstract level, which resolves self-adaptation ofusers group organization, meanwhile also improves coordination and flexibility of businesssharing behaviors, the universality of share rules also provide powerful support forapplication integration of sharing system.3. Current data models used widely can deal with rapid prototype developing andincremental programming, but their coordination and control of users group are so complexthat lead to larger overheads of sharing system due to global data consistency. This papermakes BSDM based on40pieces of share rules, preserves advantages of traditional datamodel, classifies fully users group sharing behaviors, thus simplifies coordination and controlmechanism of users sharing, maintains efficiently system global data consistency and reducessystem costs.4. To efficiently resolve the problem of formal description overly rigid for existing datamodel, this paper applies formal language theory and denotation semantic method of formalsemantics to make algebra model of formal language of BSDM, namely BKL; provides theconcept of language reuse, and makes language family model {Li} being BKL as its kernel,oriented different formal system applications and different formal languages in the differentdeveloping phase of formal system by applying simple reuse, extensive reuse and selectivereuse finite times, provides a kind of tool of formal exchanging and communicating to describe user group sharing behaviors and business sharing process in formal language level.5. Consistency conversion of sharing system status and semantic integrity of modelsconversion are still an unsolved problem, there is no mature theory support and validverification tool now. This paper breaks through the sharing computation limitation oftraditional data models, applies bifunctor tool of category to analyze relationship betweendifferent category objects deeply, resolves uncertain computation of BKL syntax recognition;makes SDM(Sketch Data Model) to analyze consistency conversion of sharing system statusin the formal framework of model category, and researches semantics integrity of BSDMdeeply; provides a kind of algorithm ER2SDM conversing from traditional data model toSDM, keeps semantics integrity of data model conversing efficiently, which provides a kindof thinking combining engineering practice with category theoretical research for data model.6. This paper designs and implements large-scale shring system oriented complexmulti-tasks, namely Wetoband being BSDM as its data model, applying formal languagetheory and language reuse methods provided by this paper to make high-order type languagemodel WFL, and formally describes operations and semantic equations of Wetoband objectssuch as resource and tool and so on. In the meantime, this paper also researches the integritytechnology of distributed database in the bottom of Wetoband architecture, provides a newkind of integrity check strategy, designs two kinds of generating algorithms containingdifferent conditions completely for integrity test, makes use of distributed computationresources minimumly; analyzes inherent relationship between main performance parametersrelating to distributed database integrity checking cost by combine network theorycomprehensively and deeply, makes a model evaluating integrity checking cost by using thedimension-reducing technology of artificial intelligence to provide an effective base forquantization comparison, and the lots of experiments results demonstrate that the proposedstrategy and algorithms effectively reduce the integrity checking cost of distributed database,and the established cost evaluation model evaluates the cost of distributed database accurately.