Transformational Object-Relational Database Model in Formal Methods
スポンサーリンク
概要
- 論文の詳細を見る
The transformation of a Relational Database to an Object-Relational Database is a preferable choice for a relational database in order to support object-orientation. Object-Relational Database is an emerging breed of database that combine the state-of-the-art Relational Database with object-oriented capabilities. The transformation should be guaranteed to be correct and complete. Since the ambiguity of conventional representations of database model, e.g. UML diagrams and the diversities of SQLs, the use of formal methods can overcome those problems. Furthermore, formal specification offers a further reasoning and considered cases can be proven. We propose the transformation model and the database process in a new sequence. The formal specification is given in Z notation.
- 一般社団法人情報処理学会の論文
- 2001-05-15
著者
-
ARAKI Keijiro
Department of Surgery, Kochi Medical School
-
Araki Keijiro
Department Of Computer Science And Communication Engineering Graduate School Of Information Science
-
YUGOPUSPITO PUJIANTO
Department of Computer Science and Communication Engineering Graduate School of Information Science
-
UGOPUSPITO PUJIANTO
Department of Computer Science and Communication Engineering, Graduate School of Information Science
-
Ugopuspito Pujianto
Department Of Computer Science And Communication Engineering Graduate School Of Information Science
関連論文
- Three-Dimensional Organization of Lymphatics in the Dog Stomach : A Scanning Electron Microscopic Study of Corrosion Casts
- Complete Remission of Recurrent Gastrointestinal Stromal Tumors After Treatment with Imatinib : Report of a Case
- Scanning electron microscopic study of the three-dimensional structure of the collagen sheath surrounding cancer cells after single high-dose irradiation
- Thapsigargin Enhances Cell Death in the Gastrointestinal Stromal Tumor Cell Line, GIST-T1, by Treatment with Imatinib (Glivec)
- A Study on Three-Dimensional Crypt Confugurations of the Large Bowel in Ulcerative Colitis
- Primary gastric small cell carcinoma : report of a case and review of the literature
- Localization of Cytoskeletal Filaments During Membrane Rearrangement in Rat Parietal Cells Stimulated with Gastrin
- The change of proliferating cell nuclear antigen and apoptosis of the MM46 mammary cancer cells of the mouse after single high-dose irradiation
- Localization of thymidine phosphorylase in breast cancer tissue
- Adenosquamous carcinoma of the extrahepatic biliary tract : clinicopathological analysis of Japanese cases of this uncommon disease
- Helicobacter pylori CagA status associated with gastric cancer incidence rate variability in Costa Rican regions
- An immunocytochemical study of regeneration of gastric epithelia in rat experimental ulcers
- A morphological study of the pacemaker cells of the aganglionic intestine in Hirschsprung's disease utilizing ls/ls model mice
- Intracystic Carcinoma of the Male Breast : Report of a Case
- Angiomyofibroblastoma of the Vulva : Report of a Case
- Comparison of Mucosal Microvasculature between the Proximal and Distal Human Colon
- Transformational Object-Relational Database Model in Formal Methods (数理モデル化と問題解決 研究報告)
- Fully-Connected Neural Network Model of Associative Memory as a Test Function of Evolutionary Computations
- Evaluation of tumor development from the viewpoint of the three-dimensional configuration of isolated crypts in colorectal adenomas with a type IIIL pit pattern
- Transformational Object-Relational Database Model in Formal Methods