圆柱
发表于 2025-3-30 10:28:55
https://doi.org/10.1007/978-3-319-44610-3and DTDs. We present a sound and complete axiomatization for XFDs, both alone and in the presence of certain classes of DTDs; we show that these DTD classes induce an axiomatic hierarchy. We also give efficient implication algorithms for those classes of DTDs that do not use disjunction or nesting.
ASTER
发表于 2025-3-30 16:19:05
https://doi.org/10.1057/9781403982858 show that several important problems are efficiently solvable on WSDs while they are NP-hard on c-tables. Finally, we give a polynomial-time algorithm for factorizing WSDs, i.e. an efficient algorithm for minimizing such representations.
收养
发表于 2025-3-30 18:14:45
http://reply.papertrans.cn/27/2635/263451/263451_53.png
截断
发表于 2025-3-30 20:52:50
http://reply.papertrans.cn/27/2635/263451/263451_54.png
DECRY
发表于 2025-3-31 04:23:58
http://reply.papertrans.cn/27/2635/263451/263451_55.png
interpose
发表于 2025-3-31 06:10:37
Approximate Data Exchangeester, i.e. can be solved by looking at a constant fraction of the input .. We also show that .-Typechecking on words can be solved in polynomial time, whereas the exact problem is PSPACE-complete. Moreover, data exchange settings can be composed when they are close.
愤慨一下
发表于 2025-3-31 10:40:15
http://reply.papertrans.cn/27/2635/263451/263451_57.png
冷淡一切
发表于 2025-3-31 14:47:44
Characterization of the Interaction of XML Functional Dependencies with DTDsand DTDs. We present a sound and complete axiomatization for XFDs, both alone and in the presence of certain classes of DTDs; we show that these DTD classes induce an axiomatic hierarchy. We also give efficient implication algorithms for those classes of DTDs that do not use disjunction or nesting.
defile
发表于 2025-3-31 18:58:36
World-Set Decompositions: Expressiveness and Efficient Algorithms show that several important problems are efficiently solvable on WSDs while they are NP-hard on c-tables. Finally, we give a polynomial-time algorithm for factorizing WSDs, i.e. an efficient algorithm for minimizing such representations.
B-cell
发表于 2025-4-1 01:15:15
http://reply.papertrans.cn/27/2635/263451/263451_60.png