机译:通过检查RDF数据的约束来指导约束语言的开发
RDF data validation; RDF data quality; constraint languages; semantic web; linked data; RDF;
机译:通过检查RDF数据的约束来指导约束语言的开发
机译:在对象约束编程语言中检查和平衡约束求解而不会感到惊讶
机译:通过利用本地检查来改进分布式数据库中的完整性约束检查
机译:使用约束验证RDF数据质量以指示约束语言的开发
机译:使用对象约束语言的时间扩展进行模型检查UML设计。
机译:通过错误分类和约束检查支持准则制定。
机译:约束系统的层次结构,用于基于约束逻辑的语言的数据流分析
机译:演绎数据库系统和完整性约束检查