Socrates动态建模工具PostgreSQLwiki.PDFVIP

Socrates 动态建模工具 March Liu march.liu@ 理论及Python + PostgreSQL 实现 June 28, 2011 什么是Socrates? 动态建模设计 用一套数据库结构自适应任意数据结构 可扩展，可适应未知类型 自解读，不需要额外的辅助信息，可以从数据库中得到完整的信 息内容和结构。 三元结构 ▶ Socrates 的原子结构称为subject(条目/主语) 。这是一个 map 数据结构 三元结构 ▶ Socrates 的原子结构称为subject(条目/主语) 。这是一个 map 数据结构 ▶ 每个subject 有内部的精细结构，由一组三元短语描述，称 为segment 三元结构 ▶ Socrates 的原子结构称为subject(条目/主语) 。这是一个 map 数据结构 ▶ 每个subject 有内部的精细结构，由一组三元短语描述，称 为segment ▶ 三元短语结构为(subject, predicate, object) 三元结构 ▶ Socrates 的原子结构称为subject(条目/主语) 。这是一个 map 数据结构 ▶ 每个subject 有内部的精细结构，由一组三元短语描述，称 为segment ▶ 三元短语结构为(subject, predicate, object) ▶ predicate ，即谓词，表示subject 的内部结构，即字典的 key 三元结构 ▶ Socrates 的原子结构称为subject(条目/主语) 。这是一个 map 数据结构 ▶ 每个subject 有内部的精细结构，由一组三元短语描述，称 为segment ▶ 三元短语结构为(subject, predicate, object) ▶ predicate ，即谓词，表示subject 的内部结构，即字典的 key ▶ object，即宾语，指subject 由谓词表达的值，即字典的 value 主语Subject 在语义上，主语subject 表示一组相关子句的集合。在实现上， subject 是一个匿名的字典。存储于数据库中的时候，由数据库 维护其id ，但是通常用户并不需要直接关心其id ，而是在应用层 通过变量使用它。 谓语Predicate 谓词在应用层取出的subject 中，就是字典的key 。在数据库 中，它表示subject 所具有的内部结构。每个predicate 必须有 自己的名字，需要标的自己的宾语类型，即obType 。根据 objType，可以得到宾语存储的位置。(未来可能改变) 宾语object 宾语是实际的值，它可能有任何类型，Socrates 只要求最少实 现三种类型: 基本的string 和subject(实际上是integer 或 string)，和integer(如果不考虑array 支持，可以不包含 integer) 。 语义设计 META SEGMENTS I 为了实现自解释，Socrates 系统包含一组元语义: ▶ subject is type ▶ predicate is subject ▶ is is predicate ▶ is objType subject ▶ objType is predicate ▶ objType objType subject ▶ type is subject ▶ string is type ▶ name is predicate ▶ name objType