Tractable recursion over geometric data (extended abstract)

被引：0
|
作者：
Grumbach, S
Kuper, G
机构：
[1] Inst Natl Rech Informat & Automat, F-78153 Le Chesnay, France
[2] Univ Libre Bruxelles Informat, B-1050 Brussels, Belgium
来源：
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 97 | 1997年 / 1330卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We study the issue of adding a recursion operator to constraint query languages for linear spatial databases. We introduce a language with a bounded inflationary fixpoint operator which is closed and captures the set of polynomial time computable queries over linear constraint databases. This is the first logical characterization of the class of PTIME queries in this context. To prove the result. we develop original techniques to perform arithmetical and geometric operations with constraints.
引用
收藏
页码：450 / 462
页数：13
相关论文
共 50 条
  • [1] Kleene's Amazing Second Recursion Theorem (Extended Abstract)
    Moschovakis, Yiannis N.
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 24 - 39
  • [2] First and second order recursion on abstract data types
    Xu, J
    Zucker, J
    FUNDAMENTA INFORMATICAE, 2005, 67 (04) : 377 - 419
  • [3] Continuously maintaining order statistics over data streams (Extended Abstract)
    Lin, Xuemin
    Conferences in Research and Practice in Information Technology Series, 2007, 63 : 7 - 10
  • [4] Almost 2-SAT is fixed-parameter tractable (Extended Abstract)
    Razgon, Igor
    O'Sullivan, Barry
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT 1, PROCEEDINGS, 2008, 5125 : 551 - 562
  • [5] Primitive recursion in the abstract
    Leivant, Daniel
    Marion, Jean-Yves
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (01) : 33 - 43
  • [6] Selling Data to a Competitor (Extended Abstract)
    Gradwohl, Ronen
    Tennenholtz, Moshe
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (379): : 318 - 330
  • [7] Aspects and data refinement - (Extended abstract)
    Avgustinov, Pavel
    Bodden, Eric
    Hajiyev, Elnar
    de Moor, Oege
    Ongkingeo, Neil
    Sereni, Damien
    Sittampalam, Ganesh
    Tibble, Julian
    MATHEMATICS OF PROGRAM CONSSTRUCTION, 2006, 4014 : 5 - 9
  • [8] Computing on Encrypted Data (Extended Abstract)
    Sahai, Amit
    INFORMATION SYSTEMS SECURITY, PROCEEDINGS, 2008, 5352 : 148 - 153
  • [9] Finding planar geometric automorphisms in planar graphs (extended abstract)
    Hong, SH
    Eades, P
    Lee, SH
    ALGORITHMS AND COMPUTATIONS, 1998, 1533 : 277 - 286
  • [10] Rankers over Infinite Words (Extended Abstract)
    Dartois, Luc
    Kufleitner, Manfred
    Lauser, Alexander
    DEVELOPMENTS IN LANGUAGE THEORY, 2010, 6224 : 148 - +
12345