×

找到67个文档（结果1–67）

最新的 引文 关联
什奇蓬贾·艾哈迈塔吉;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯

将受保护的存在规则重写为小型数据日志程序。 （英语） Zbl 1489.68066号

Kimelfeld，Benny（ed.）等人，第21届数据库理论国际会议，ICDT 2018，奥地利维也纳，2018年3月26日至29日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。98，第4条，第24页（2018年）。
MSC公司：第68页，共15页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Ahmetaj}等人，LIPIcs——莱布尼茨国际程序。通知。98，第4条，24 p.（2018；Zbl 1489.68066）
全文： 内政部
梅亨·宾文努;斯坦尼斯拉夫·基科特;罗马人孔查科夫;弗拉基米尔五世·波多尔斯基。;迈克尔·扎克哈里亚舍夫

本体中介查询。通过电路复杂性将重写的复杂性和简洁性结合起来。 （英语） Zbl 1426.68075号

美国临床医学杂志 65号第5条第28条第51页（2018年）.
MSC公司：第68页，共15页 65年第68季度 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Bienvenu}等人，J.ACM 65，No.5，Article No.28，51 p.（2018；Zbl 1426.68075）
全文： 内政部 arXiv公司
乔纳森·洛朗;Medina-Abarca，Hector F。;皮埃尔·布迪利埃;杨吉恩;沃尔特·丰塔纳

基于规则的模型的跟踪查询语言。 （英语） Zbl 1397.92204号

采什卡，米兰（编辑）等人，《系统生物学中的计算方法》。2018年9月12日至14日在捷克共和国布尔诺举行的CMSB 2018第16届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-99428-4/pbk；978-3-3169-99429-1/电子书）。计算机科学课堂讲稿11095。生物信息学课堂讲稿，220-237（2018）。
MSC公司：92C40型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Laurent}等人，Lect。注释计算。科学。11095220-237（2018年；兹比尔1397.92204）
全文： 内政部
Afrati，Foto N。;克莱尔·大卫;乔治·戈特洛布

2016年ICDT时间测试奖公告。 （英语） Zbl 1369.68004号

Martens，Wim（ed.）等人，第19届数据库理论国际会议，2016年3月15日至18日，法国波尔多ICDT’16。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-002-6）。LIPIcs–莱布尼茨国际信息学论文集48，第1条，第2页。(2016).
MSC公司：68-03 01A70号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{F.N.Afrati}等人，LIPIcs——莱布尼茨国际程序。通知。48，第1、2条~p.（2016；Zbl 1369.68004）
全文： 内政部
巴勃罗·巴塞洛;盖尔·方丹

关于图数据库上一致查询应答的数据复杂性。 （英语） Zbl 1365.68196号

Arenas，Marcelo（编辑）等人，第18届数据库理论国际会议，ICDT’15，比利时布鲁塞尔，2015年3月23日至27日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-79-8）。LIPIcs–莱布尼茨国际信息学论文集31，380-397（2015）。
MSC公司：第68页，共15页 2012年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Barceló}和\textit{G.Fontaine}，LIPIcs——莱布尼茨国际程序。通知。31380-397（2015年；Zbl 1365.68196）
全文： 内政部
梅根·比恩韦努;10 Cate，Balder公司;卡斯滕·卢茨;弗兰克·沃尔特

基于本体的数据访问：通过析取数据日志、CSP和MMSNP进行的研究。 （英语） Zbl 1474.68082号

ACM事务处理。数据库系统。 39，第4号，第33条，第44页（2014年）.
MSC公司：第68页，共15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Bienvenu}等人，ACM Trans。数据库系统。39，第4号，第33条，第44页（2014年；Zbl 1474.68082）
全文： 内政部 arXiv公司
斯坦尼斯拉夫·基科特;罗马人孔查科夫;弗拉基米尔五世·波多尔斯基。;扎卡里亚舍夫，迈克尔

浅显本体上查询重写的简洁性。 （英语） Zbl 1401.68316号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第57号文件，第10页（2014年）。
MSC公司：68立方英尺 68第05页 第68页，共15页 65年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kikot}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第57号论文，10页（2014；Zbl 1401.68316）
全文： 内政部 arXiv公司 链接
胡阿里·马哈福德;阿卜杜萨马德·伊明

关于安全地操作XML数据。 （英语） Zbl 1390.68072号

Garcia-Alfaro，Joaquin（编辑）等人，《安全基础与实践》。2012年10月25日至26日，第五届国际研讨会，FPS 2012，加拿大魁北克省蒙特利尔。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37118-9/pbk）。计算机科学课堂讲稿7743，293-307（2013）。
MSC公司：68英里11 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{H.Mahfoud}和\textit{A.Imine}，莱克特。注释计算。科学。7743，293--307（2013；Zbl 1390.68072）
全文： 内政部
桥本健二;柳田Sawada;石原雅素;弘久世奇（Hiroyuki Seki）;藤原，托鲁

单值自下而上树转换器的确定性和包容性。 （英语） Zbl 1302.68164号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37063-2/pbk）。计算机科学课堂讲稿7810，335-346（2013）。
审核人：安德烈亚斯·马莱蒂（斯图加特）
MSC公司：65年第68季度 2012年第68季度 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{K.Hashimoto}等人，Lect。注释计算。科学。7810，335--346（2013；Zbl 1302.68164）
全文： 内政部 链接
亚历山大·乔塔拉斯;特里维拉，Despoina;乔戈斯·斯塔姆

OWL 2 QL的优化查询重写。 （英语） Zbl 1341.68223号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。《192-206年人工智能课堂讲稿》（2011年）。
MSC公司：68立方英尺 68吨15 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Chortaras}等人，Lect。注释计算。科学。6803、192--206（2011；Zbl 1341.68223）
全文： 内政部
克里斯蒂娜，托恩·努克

关于不同类型更正查询之间关系的注释。 （英语） Zbl 1177.68125号

亚历山大·克拉克（编辑）等人，《语法推理：算法和应用》。2008年9月22日至24日在法国圣马洛举行的2008年国际地理信息学会第九届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88008-0/pbk）。计算机科学课堂讲稿5278。《人工智能课堂讲稿》，213-223（2008）。
MSC公司：68问题32 2012年第68季度 65年第68季度 第68页第50页
PDF格式BibTeX公司 XML格式引用
\textit{C.Trnuc}，莱克特。注释计算。科学。5278、213--223（2008；Zbl 1177.68125）
全文： 内政部
萨查·伯杰

正则根图文法。web类型和模式语言。 （英语） Zbl 1156.68418号

慕尼黑：慕尼黑大学，Fakultät für Mathematik，Informatik und Statistik（Diss.）。vii，159页。(2007).
MSC公司：2012年第68季度 68M10个 68第05页 65年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{S.Berger}，正则根图文法。web类型和模式语言。慕尼黑：慕尼黑大学，Fakultät für Mathematik，Informatik und Statistik（Diss.）（2007；Zbl 1156.68418）
Makoui，Mazeyar E。

基于成本的术语重写在对象关系数据库中的查询优化。（Anfrageoptimierung in objektrelationalen Datenbanken durch kostenbedinte Termersetzungen） （德语） Zbl 1130.68044号

DISDBIS，Datenbanken und Informationssystemen论文100.柏林：Akademische Verlagsgesellschaft Aka；汉诺威：汉诺威大学，Fakultät für Elektrotechnik und Informatik（Diss.2006）（ISBN 978-3-89838-500-8/pbk）。xv，166页。(2007).
审核人：安东尼哈（普拉哈）
MSC公司：第68页，共15页 68-02 68甲19 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Makoui}，Anfrageoptimierung in objektrelationalen Datenbanken durch kostenbedinte Termersetzungen。柏林：Akademische Verlagsgesellschaft Aka；汉诺威：汉诺威大学，Fakultät für Elektrotechnik und Informatik（Diss.2006）（2007；Zbl 1130.68044）
阿林·德意志;伯特伦·卢德谢尔;阿兰·纳什

使用具有完整性约束下的访问模式的视图重写查询。 （英语） Zbl 1108.68444号

Eiter，Thomas（编辑）等人，数据库理论–ICDT 2005。第十届国际会议，2005年1月5日至7日，英国爱丁堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24288-0/pbk）。计算机科学讲座笔记3363352-367（2005）。
MSC公司：第68页，共15页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Deutsch}等人，Lect。注释计算。科学。3363、352--367（2005年；Zbl 1108.68444）
全文： 内政部
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。

基于视图的查询处理：关于重写、应答和无损之间的关系。 （英语） Zbl 1108.68443号

Eiter，Thomas（编辑）等人，数据库理论–ICDT 2005。第十届国际会议，英国爱丁堡，2005年1月5-7日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24288-0/pbk）。计算机科学课堂讲稿3363321-336（2005）。
MSC公司：第68页，共15页 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{D.Calvanee}等人，Lect。注释计算。科学。3363、321--336（2005；Zbl 1108.68443）
全文： 内政部
月亮、ChanHo;Kim、SooHee;康贤哲

使用XML物化视图处理XML路径表达式。 （英语） Zbl 1037.68927号

James，Anne（编辑）等人，《信息管理的新视野》。第20届英国国家数据库会议，BNCOD 20，英国考文垂，2003年7月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40536-4/pbk）。莱克特。注释计算。科学。2712, 19-37 (2003).
MSC公司：68单位99 68第05页 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Moon}等人，Lect。注释计算。科学。2712、19-37（2003年；Zbl 1037.68927）
全文： 链接
法兰克·奈文;托马斯·施温蒂克

树结构数据的基于自动化和逻辑的模式语言。 （英语） Zbl 1017.68063号

Bertossi，Leopoldo（编辑）等人，《数据库中的语义》。第二次国际研讨会，德国达格斯图尔城堡，2001年1月7日至12日。修订论文。柏林：斯普林格。莱克特。注释计算。科学。2582, 160-178 (2003).
MSC公司：65年第68季度 2012年第68季度 68第05页 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{F.Neven}和\textit{T.Schwentick}，莱克特。注释计算。科学。2582160--178（2003年；Zbl 1017.68063）
全文： 链接
卡尔·梅恩克

用于规范、模拟和测试的高阶方程逻辑。 （英语） Zbl 1407.68310号

Dowek，Gilles（编辑）等人，《高阶代数、逻辑和术语重写》。第二次国际研讨会，1995年9月21日至22日，德国帕德博恩，HOA'95。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1074, 124-143 (1996).
MSC公司：68问题65 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Meinke}，莱克特。注释计算。科学。1074124--143（1996年；Zbl 1407.68310）
全文： 内政部
铁雄浅野;德什·兰扬;托马斯·罗斯;埃莫·韦尔兹尔;彼得·维德迈尔

空间填充曲线及其在几何数据结构设计中的应用。 （英语） Zbl 1495.68236号

Baeza-Yates，Ricardo（编辑）等人，《拉丁文’95：理论信息学》。第二届拉丁美洲研讨会，1995年4月3日至7日，智利瓦尔帕拉索。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。911, 36-48 (1995).
MSC公司：68单位05 68第05页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Asano}等人，Lect。注释计算。科学。911，36-48（1995年；兹bl 1495.68236）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件