思想
发表于 2025-3-25 03:42:31
Semantic Classifications of Queries to Relational Databases,aic (hence, semantic) characterizations of equality of theories for databases, in . and in weaker logics. We introduce an abstract notion of . for databases, as equality in the theories for a given logic and we define different sub-classes of queries by requiring that the queries in a given sub-clas
含糊其辞
发表于 2025-3-25 09:41:09
0302-9743 s. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data..978-3-540-00957-3978-3-540-36596-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
interrogate
发表于 2025-3-25 13:40:24
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Aorder queries. Both the annotated logic and the logic programming approaches work for any set of universal and referential integrity constraints. Optimizations of the logic programs are also analyzed.
不可知论
发表于 2025-3-25 17:58:58
http://reply.papertrans.cn/87/8648/864736/864736_24.png
Flatus
发表于 2025-3-25 23:54:59
http://reply.papertrans.cn/87/8648/864736/864736_25.png
Conflict
发表于 2025-3-26 04:03:44
http://reply.papertrans.cn/87/8648/864736/864736_26.png
比喻好
发表于 2025-3-26 07:07:19
Null Values in Relational Databases and Sure Information Answers, world semantics. The focus is on the . and the . interpretation of null values. A new semantics for the . interpretation of nulls is proposed taking into account a problem arising in connection with the closed world assumption. Results are applied to the query language SQL.
真繁荣
发表于 2025-3-26 09:11:56
Automata- and Logic-Based Pattern Languages for Tree-Structured Data,irst-order logic, and monadic second-order logic. It investigates expressiveness as well as the complexity of query evaluation and some optimization problems. Finally, formalisms that allow comparison of attribute values are considered.
engrossed
发表于 2025-3-26 13:35:33
http://reply.papertrans.cn/87/8648/864736/864736_29.png
流动性
发表于 2025-3-26 17:07:48
http://reply.papertrans.cn/87/8648/864736/864736_30.png