咨询与建议

限定检索结果

文献类型

  • 166 篇 会议
  • 15 册 图书
  • 5 篇 期刊文献

馆藏范围

  • 186 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 129 篇 工学
    • 119 篇 计算机科学与技术...
    • 85 篇 软件工程
    • 5 篇 电气工程
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 矿业工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 22 篇 理学
    • 16 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 15 篇 管理学
    • 8 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 护理学(可授医学、...

主题

  • 18 篇 computer languag...
  • 12 篇 database languag...
  • 12 篇 query languages
  • 10 篇 logic programmin...
  • 9 篇 database systems
  • 9 篇 software enginee...
  • 9 篇 artificial intel...
  • 9 篇 functional progr...
  • 8 篇 parallel program...
  • 8 篇 computer program...
  • 7 篇 xml
  • 7 篇 programming lang...
  • 6 篇 computer science
  • 6 篇 software enginee...
  • 6 篇 mathematical log...
  • 6 篇 costs
  • 6 篇 semantics
  • 6 篇 computer program...
  • 6 篇 relational datab...
  • 6 篇 logics and meani...

机构

  • 2 篇 univ valladolid ...
  • 2 篇 carleton univ sc...
  • 2 篇 imdea software
  • 2 篇 department of co...
  • 2 篇 tallinn universi...
  • 2 篇 univ aarhus dept...
  • 2 篇 univ calabria di...
  • 2 篇 vienna univ tech...
  • 1 篇 philipps univ ma...
  • 1 篇 xian technol uni...
  • 1 篇 ibm corp almaden...
  • 1 篇 mechanical engin...
  • 1 篇 university paris...
  • 1 篇 department of in...
  • 1 篇 epfl
  • 1 篇 univ nottingham ...
  • 1 篇 dept. of informa...
  • 1 篇 university of te...
  • 1 篇 department of co...
  • 1 篇 the pennsylvania...

作者

  • 3 篇 schwartzbach mic...
  • 2 篇 bertossi leopold...
  • 2 篇 chakravarty manu...
  • 2 篇 zhao yidan
  • 2 篇 krennwallner tho...
  • 2 篇 moreton-fernande...
  • 2 篇 van gucht dirk
  • 2 篇 gonzalez-escriba...
  • 2 篇 cozman fabio g.
  • 2 篇 carro manuel
  • 2 篇 eiter thomas
  • 2 篇 moller anders
  • 2 篇 ianni giovambatt...
  • 2 篇 steffen bernhard
  • 2 篇 xiao qinkun
  • 2 篇 li kin fun
  • 2 篇 schindlauer roma...
  • 2 篇 brabrand claus
  • 2 篇 hanus michael
  • 2 篇 keller gabriele

语言

  • 183 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=10th International Symposium on Database Programming Languages"
186 条 记 录,以下是121-130 订阅
排序:
Consistent query answers on numerical databases under aggregate constraints
Consistent query answers on numerical databases under aggreg...
收藏 引用
10th international symposium on database programming languages
作者: Flesca, S Furfaro, F Parisi, F Univ Calabria DEIS I-87036 Arcavacata Di Rende CS Italy
the problem of extracting consistent information from relational databases violating integrity constraints on numerical data is addressed. In particular, aggregate constraints defined as linear inequalities on aggrega... 详细信息
来源: 评论
Mapping maintenance in XML P2P databases
Mapping maintenance in XML P2P databases
收藏 引用
10th international symposium on database programming languages
作者: Colazzo, D Sartiani, C Univ Paris Sud LRI Paris France Univ Pisa Dipartimento Informat I-56100 Pisa Italy
Unstructured p2p database systems are usually characterized by the presence of schema mappings among peers. In these systems, the detection of corrupted mappings is a key problem. A corrupted mapping fails in matching... 详细信息
来源: 评论
XML subtree queries: Specification and composition
XML subtree queries: Specification and composition
收藏 引用
10th international symposium on database programming languages
作者: Benedikt, M Fundulaki, I Bell Labs Lucent Technologies United States
A frequent task encountered in XML processing is to filter an input document to produce a subdocument;that is, a document whose root-to-leaf paths are root-to-leaf paths of the original document and which inherits the... 详细信息
来源: 评论
A type safe DOM API
A type safe DOM API
收藏 引用
10th international symposium on database programming languages
作者: thiemann, P Univ Freiburg D-7800 Freiburg Germany
DOM (Document Object Model) is the W3C recommendation for an API for manipulating XML documents. the API is stated in terms of a language neutral IDL with normative bindings given for Java and ECMAScript. the type sys... 详细信息
来源: 评论
On the expressive power of XQuery fragments
On the expressive power of XQuery fragments
收藏 引用
10th international symposium on database programming languages
作者: Hidders, J Marrara, S Paredaens, J Vercammen, R Univ Antwerp Dept Math & Comp Sci B-2020 Antwerp Belgium Univ Milan Dipartimento Tecnol Informaz I-26013 Crema CR Italy
XQuery is known to be a powerful XML query language with many bells and whistles. For many common queries we do not need all the expressive power of XQuery. We investigate the effect of omitting certain features of XQ... 详细信息
来源: 评论
Satisfiability of XPath queries with sibling axes
Satisfiability of XPath queries with sibling axes
收藏 引用
10th international symposium on database programming languages
作者: Geerts, F Fan, WF Univ Edinburgh Edinburgh EH8 9YL Midlothian Scotland
We study the satisfiability problem for XPath fragments supporting the following-sibling and preceding-sibling axes. Although this problem was recently studied for XPath fragments without sibling axes, little is known... 详细信息
来源: 评论
Complexity and approximation of fixing numerical attributes in databases under integrity constraints
Complexity and approximation of fixing numerical attributes ...
收藏 引用
10th international symposium on database programming languages
作者: Bertossi, L Bravo, L Franconi, E Lopatenko, A Carleton Univ Sch Comp Sci Ottawa ON K1S 5B6 Canada Free Univ Bozen Bolzano Fac Comp Sci Bozen Bolzano Italy Univ Manchester Dept Comp Sci Manchester M13 9PL Lancs England
Consistent query answering is the problem of computing the answers from a database that are consistent with respect to certain integrity constraints that the database as a whole may fail to satisfy. those answers are ... 详细信息
来源: 评论
XML data integration with identification
XML data integration with identification
收藏 引用
10th international symposium on database programming languages
作者: Poggi, A Abiteboul, S Orsay Univ INRIA Futurs F-91893 Orsay France Univ Roma La Sapienza Dipartimento Informat & Sistemist I-00198 Rome Italy
Data integration is the problem of combining data residing at different sources, and providing the user with a virtual view, called global schema, which is independent from the model and the physical origin of the sou... 详细信息
来源: 评论
N-ary queries by tree automata
N-ary queries by tree automata
收藏 引用
10th international Workshop on database programming languages, DBPL 2005
作者: Niehren, Joachim Planque, Laurent Talbot, Jean-Marc Tison, Sophie INRIA Futurs LIFL Lille France
We investigate n-ary node selection queries in trees by successful runs of tree automata. We show that run-based n-ary queries capture MSO, contribute algorithms for enumerating answers of n-ary queries, and study the... 详细信息
来源: 评论
the design space of type checkers for XML transformation languages
收藏 引用
10th international Conference on database theory, ICDT 2005
作者: Møller, Anders Schwartzbach, Michael I. BRICS University of Aarhus Denmark
We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. the concept of type may vary from idealizations of DTD to full-blown XML Schema or even more expressive... 详细信息
来源: 评论