Transformational Object-Relational Database Model in Formal Methods (数理モデル化と問題解決 研究報告)
スポンサーリンク
概要
- 論文の詳細を見る
Object-Relational Database is an emerging breed of database that combines the state-of-the-art Relational Database with object-oriented capabilities. The transformation of Relational Database to Object-Relational Database is a preferable option. The correctness and completeness should be guaranteed during the transformation. Since the ambiguity of conventional representations of database model, e.g. UML diagrams and the diversities of SQLs, utilization of formal methods can be beneficial. Furthermore, formal specification makes further reasoning and proof of considered cases able to be established. We proposed the transformation model and the database process new sequence. The formal specification is given in Z notation.
- 一般社団法人情報処理学会の論文
- 2000-11-21
著者
-
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
-
Araki Keijiro
Department Of Computer Science And Communication Engineering Graduate School Of Information Science
-
Yugopuspito P
Kyushu Univ.
関連論文
- 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