存储数据有两种标准方法:数据库或文件系统。在这些数据库之间,数据库至少有两个优点来维护数据的完整性:
是否有文件系统或文件系统管理器在文件系统之上提供这些关键功能?
我想,例如,一个程序管理一个目录中的数据,我提供的模式,并通过它发出CRUD指令来更新这个目录,使用事务来确保原子性。
例如,可以通过归纳定义模式,例如root ::= { pdfcontainer }
pdfcontainer ::= { pdf }
pdf(f) ::= isfile && suffix == 'pdf'
之后,CREATE /container1/image.jpg <contents>
指令会失败,因为/container1
不再满足pdfcontainer
,这意味着/
不再满足root
。