首页> 外文OA文献 >Precise modeling and verification of topological integrity constraints in spatial databases: from an expressive power study to code generation principles

【2h】

Precise modeling and verification of topological integrity constraints in spatial databases: from an expressive power study to code generation principles

机译：空间数据库中拓扑完整性约束的精确建模和验证：从表达能力研究到代码生成原则

页面导航

著录项
相似文献
相关主题

著录项

作者
Magali Duboisset; François Pinet; Myoung-ah Kang; Michel Schneider; Cemagref Clermont Ferrand;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On the expressiveness of linear-constraint query languages for spatial databases [J] . Vandeurzen L., Van Gucht D., Gyssens M. Theoretical computer science . 2001,第1a2期

机译：空间数据库线性约束查询语言的表达性
2. On the Expressive Power of Logics on Constraint Databases with Complex Objects [J] . Hong-Cheu Liu, Jixue Liu 计算机科学技术学报（英文版） . 2019,第004期

机译：论逻辑在具有复杂对象的约束数据库上的表达能力
3. Low-Power Code Memory Integrity Verification Using Background Cyclic Redundancy Check Calculator Based on Binary Code Inversion Method [J] . Park Daejin Journal of circuits, systems and computers . 2016,第7期

机译：基于二进制代码反演方法的背景循环冗余校验计算器进行低功耗代码存储器完整性验证
4. Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles [C] . Magali Duboisset, Francois Pinet, Myoung-Ah Kang, International Conference on Conceptual Modeling(ER 2005); 20051024-28; Klagenfurt(AT) . 2005

机译：空间数据库中拓扑完整性约束的精确建模和验证：从表达能力研究到代码生成原理
5. Topological properties of spatial databases in the polynomial constraint model [D] . Kuijpers, Bart 1998

机译：多项式约束模型中空间数据库的拓扑特性
6. Topological Constraints in Eukaryotic Genomes and How They Can Be Exploited to Improve Spatial Models of Chromosomes [O] . Angelo Rosa, Marco Di Stefano, Cristian Micheletti 2019

机译：真核基因组中的拓扑约束以及如何利用它们来改善染色体的空间模型
7. Local Verification of Global Integrity Constraints in Distributed Databases [O] . Ashish Gupta, Jennifer Widom 1993

机译：分布式数据库中全局完整性约束的本地验证
8. Modeling and Verification of Distributed Generation and Voltage Regulation Equipment for Unbalanced Distribution Power Systems. Annual Subcontract Report [R] . Davis, M. W. 2007

机译：不平衡配电系统分布式发电调压装置的建模与验证。年度分包报告

Precise modeling and verification of topological integrity constraints in spatial databases: from an expressive power study to code generation principles

著录项

相似文献

相关主题

期刊订阅