hypermedia markup languages; query languages; query processing; multimedia databases; program compilers; XPath translation; algebraic expressions; navigational primitives; query language; XQuery; XML database; multimedia; XSLT; pipelined evaluation;
机译:导航XPath:微积分和代数
机译:图形数据库上导航XPath的静态分析
机译:导航XPath的语义表征
机译:XPath对包含导航基元的程序参数化的代数表达式的优化
机译:原始对偶内点优化方法中的微分代数方程:一种新的中心轨迹参数化方法。
机译:代数动态规划中的帕累托优化
机译:XPath到包含导航基元的程序参数化的代数表达式的优化翻译
机译:编程语言翻译的正确性 - 一种代数方法