数据库应用-半结构化数据模型1

本文结构

主要由两部分组成：
1.描述合法的数据库状态(比如使用的是什么类型的Schema？关系型的？还是NF$^2$的？等等？？)
2.通过使用的操作(Operator)描述合法的状态转化(Zustandsübergänge)

导论

数据库状态

基本思想：
数据模型=合法数据库状态的集合
(Datentype=Menge zulässiger Zustände)
类型(Typ)：指拥有相同数学结构的对象的集合//啥叫数学结构啊？？？
(或者简单的说：拥有相同的Schema)
实例(Ausprägung,Instant)：类型对应的实例
类型系统(Typsystem)：
Typsystem指类型的集合，和他们之间的相互联系。
(I.Allg. Feature von Programmiersprachen, dass nämlich Werte Instanzen von Typen sein müssen这句不理解？？？指编程语言的特征就是：他的指必须是模型的实例？？？)
数据类型的多态属性(Polymorphe Typsystem)：
Typsystem是一个类型的集合，但其中的内容并不是单个类型的固定的组合，本质上，他只是通过类型构造器(Typkonstruktor)呈现出来。(以此增加其灵活性)
(Keine starre Menge von Kombinationen atomarer Typen, sondern im wesentlichen nur Angabe von Typkonstruktoren, dadurch Flexibilität.
i.d.R. beschrieben durch atomare Typen,Typkonstruktoren und polymorphe Konsistenzbedingungen)
//因为不知理解得对不对，所以都加上原文
原子类型(atomar Typ)：
int
bool={true,false}
date
…
通过类型构造器(Typkonstruktor)，可以由原子类型构建出新的类型，常见的类型构造器有：
record($t_1,...,t_n$)：组合
set(t)：由t的实例的集合组成的集合(Menge der Mengen mit Elementen aus t)
list(t)：由t的实例的列表组成的集合(Menge der List mit Elementen aus t)
//问：关系模型里有哪些数据构造器呢？？join??projection??…??
例子：
Typ DVD::=recored[Name:string,Sprache:string,Jahr:int]
Typ DVDs::=set {DVD}
//吐槽一下老师，前面一直用英语的record和set，讲到例子突然就用德语的Datensatz和menge，然后就瞬间断片了
生成新模型的限制条件：
一致性原则(polymorphe Konsistenzbedingungen)//具体指什么？？？？

通过Operator实现状态转化

这里的Operator指的是：使用于类型实例的数学函数(Mathematische Funktion, die auf Instanzen von Typen anwendbar sind),比如有：
等价测试(Gleichheitstest)x=y:适用于所有类型
排序(Anordnung)x < y:适用于数字，日期和字符串
算数操作(arithmetische Operationen)+,-,*,/:适用于所有数字
逻辑操作(logische Operationen)and,or,not:适用于Bool值
集合操作(Mengenoperationen)$\cup, \cap,-$:适用于通过set生成的Typ
一元操作(Monoamorphe Operatoren):
只能作用于一个Typ的实例的操作如，not
//还有哪些monoamorphe Operator呢？？
比如有整数的除，取余，求日期差//表示理解不能中？？？？
多元操作(Polymorphe Operatoren):
可以作用于不同Typ的实例的操作，如=,<等

数据模型的描述标准(Beschreibungskriterien für Datenmodelle)

//以前学过不少数据模型，那么要怎么对这些模型进行比较呢？？有哪些标准是可以考虑的？？
结构强度(Strukturelle Mächtigkeit)：
由可以使用的类型构造器的数量(polymorpher Typkonstruktoren)体现。他表现了数据结构的丰富程度
结构上得正交性(Strukturelle Orthogonalität)：
有类型组合时的自由度(或限制)体现(Maß für Freizügigkeit, mit der sich polymorphe Typen kombinieren lassen)
比如，只能由原子类型组成record，再由record组合成结合。record的内容不能包括record。
图形表达
//上传不能、、、
Operator之间的衔接性(Operationelle Verknüpfbarkeit)：
//名字感觉有错，解释不通。总之就是能否好的表达数据的意思
由类型表达时的灵活性体现(Maß für Freizügigkeit, mit der sich aus Tyüausdrücken hervorgegangene Datenstrukturen durch Operatoren ineinander überführen lassen)
比如:NF$^2$中的Nest-/Unnest就提高了灵活性
图形表达
//上传不能。。。
操作的普遍性(Operationelle Generizität)：
//理解不能
Position der Operatoren im Spektrum（虾米？）zwischen Polymorphe und Monomorphin.
Polymorpher Operator-ausschließlich an polzmorphen(啥？) Typ gebunden, also auf alle entsprechenden Typen anwendbar.Weite Einsatzbreite.
geht aber auf keine semantischen Feinheiten ein.
Tipgebundener(monomorpher)Operator-umgekehrt

导论2

为什么使用SGML(Standard Genelized Mackup Language)

SGML把逻辑结构和布局结构进行了分离，从而提高了其自由的。//好抽象啊？？？
(Trennung zwischen logischer und Layout-Struktur führt zu höherer Flexibilität.Logische Struktur-Bedeutung der Dokumentbestandteile)
人们可以根据不通的用户及其要求做不同的展示(像view)
//没看出表现在哪了？？？？？
使用Markup的文档一般包含比较多得内容，能更清晰的表达自己的工作，方便团队工作。
保持文档的一致性(Konsistenz der Dokument)
//intra-document consistency,inter-document consistency不知这是啥？？

XML

XML并不是SGML(nicht Standardisierung des Generalized Markups)
针对不同的文档类型，他会使用不同的Markup。
XML的目标：
1.标准化(Standardisierung)文档中的generalized Markup的描述
2.标准化(Standardisierung)Markup的规则：比如那个地方可以出现那些Markup
举例：
像可以规定在菜单中必须包含有佐料，或者佐料必须写在准备工作的前面。

<!ELEMENT bookstore (book)*> //特殊符号式正则表达式
<!ELEMENT book (title,author+,price?)
<!ATTLIST book genre CDATA #REQUIRED>
<!ELEMENT title (#PCDATA)>
<!ELEMENT author (name|(firstname,lastname))>
<!ELEMENT price (#PCDATA)>
<!ELEMENT name (#PCDATA)>
<!ELEMENT firstname (#PCDATA)>
<!ELEMENT lastname (#PCDATA)>

//缺图片一张，XML-Einordnung