Welcome to D
SIGMOD'00
PODS'00
SIGMOD Recor
CIKM 2000/CI
COMAD 2000
Data Enginee
DL 2000
DPDJ
EDBT 2000
Hypertext 20
ICDE 2000
KDD 2000
KDD Explorat
KRDB 2000
SBBD 2000
SIGIR 2000
SIGIR Forum
SSDBM 2000
TODS
VLDB'00
VLDBJ
About DiSC 2
Editorial Bo
Acknowledgem
DiSC 2001 Pr
ADVIS
DiSC'01 Feed
DiSC'01 Site
Search DiSC'
<<<Author Index>>>
Copyright No

Victor Vianu

Papers on DiSC'01


Typechecking for XML Transformers

DTD Inference for Views of XML Data

Publications


Note: Links lead to the DBLP on the Web.

Victor Vianu

75 Serge Abiteboul , Luc Segoufin , Victor Vianu: Representing and Querying XML with Incomplete Information. PODS 2001

74 Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu: XML with Data Values: Typechecking Revisited. PODS 2001

73 Bart Kuijpers , Victor Vianu: Topological Queries. Constraint Databases 2000 : 231-273

72 Tova Milo , Dan Suciu , Victor Vianu: Typechecking for XML Transformers. PODS 2000 : 11-22

71 Yannis Papakonstantinou , Victor Vianu: DTD Inference for Views of XML Data. PODS 2000 : 35-46

70 Victor Vianu: Review - Computable Queries for Relational Data Bases. ACM SIGMOD Digital Review 2 : (2000)

69 Victor Vianu: Review - Exact and Approximate Aggregation in Constraint Query. ACM SIGMOD Digital Review 2 : (2000)

68 Victor Vianu: Review - Hypothetical Datalog: Complexity and Expressibility. ACM SIGMOD Digital Review 2 : (2000)

67 Victor Vianu: Review - On Instance-Completeness for Database Query Languages involving Object Creation. ACM SIGMOD Digital Review 2 : (2000)

66 Serge Abiteboul , Victor Vianu, Brad S. Fordham , Yelena Yesha : Relational Transducers for Electronic Commerce. JCSS 61 (2): 236-269 (2000)

65 Luc Segoufin , Victor Vianu: Querying Spatial Databases via Topological Invariants. JCSS 61 (2): 270-301 (2000)

64 Stefano Ceri , Leonid A. Kalinichenko , Masaru Kitsuregawa , Hongjun Lu , Z. Meral Özsoyoglu , Richard T. Snodgrass , Victor Vianu: SIGMOD Sister Societies. SIGMOD Record 29 (1): 4-15 (2000)

63 Kenneth A. Ross , Christos Faloutsos , Alon Y. Levy , Patrick E. O'Neil , Eric Simon , Divesh Srivastava , Victor Vianu, Gerhard Weikum : Reminiscences on Influential Papers. SIGMOD Record 29 (1): 52-65 (2000)

62 Serge Abiteboul , Victor Vianu: Queries and computation on the web. TCS 239 (2): 231-255 (2000)

61 Victor Vianu: Topological Queries in Spatial Databases. CSL 1999 : 1

60 Christos H. Papadimitriou , Dan Suciu , Victor Vianu: Topological Queries in Spatial Databases. JCSS 58 (1): 29-53 (1999)

59 Serge Abiteboul , Victor Vianu: Regular Path Queries with Constraints. JCSS 58 (3): 428-452 (1999)

58 Serge Abiteboul , Victor Vianu, Bradley S. Fordham , Yelena Yesha : Relational Transducers for Electronic Commerce. PODS 1998 : 179-187

57 Luc Segoufin , Victor Vianu: Querying Spatial Databases via Topological Invariants. PODS 1998 : 89-98

56 Serge Abiteboul , Bernd Amann , Sophie Cluet , Tova Milo , Victor Vianu: Active Views for Electronic Commerce. Proc. 14ème Journées Bases de Données Avancées, BDA 1998 : 405-424

55 Serge Abiteboul , Christos H. Papadimitriou , Victor Vianu: Reflective Relational Machines. Information and Computation 143 (2): 110-136 (1998)

54 Philippe Picouet , Victor Vianu: Semantics and Expressiveness Issues in Active Databases. JCSS 57 (3): 325-355 (1998)

53 Sérgio Lifschitz , Victor Vianu: A Probabilistic View of Datalog Parallelization. TCS 190 (2): 211-239 (1998)

52 Philippe Picouet , Victor Vianu: Expressiveness and Complexity of Active Databases. ICDT 1997 : 155-172

51 Serge Abiteboul , Victor Vianu: Queries and Computation on the Web. ICDT 1997 : 262-275

50 Serge Abiteboul , Victor Vianu: Regular Path Queries with Constraints. PODS 1997 : 122-133

49 Victor Vianu: Rule-Based Languages. Annals of Mathematics and Artificial Intelligence 19 (1-2): 215-259 (1997)

48 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. JACM 44 (1): 30-56 (1997)

47 Christos H. Papadimitriou , Dan Suciu , Victor Vianu: Topological Queries in Spatial Databases. PODS 1996 : 81-92

46 Sérgio Lifschitz , Victor Vianu: A Probabilistic View of Datalog Parallelization. ICDT 1995 : 294-307

45 Philippe Picouet , Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995 : 126-138

44 Serge Abiteboul , Victor Vianu: Computing with First-Order Logic. JCSS 50 (2): 309-335 (1995)

43 Stéphane Grumbach , Victor Vianu: Tractable Query Languages for Complex Object Databases. JCSS 51 (2): 149-167 (1995)

42 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Computing with Infinitary Logic. TCS 149 (1): 101-128 (1995)

41 Serge Abiteboul , Christos H. Papadimitriou , Victor Vianu: The Power of Reflective Relational Machines. LICS 1994 : 230-240

40 Serge Abiteboul , Victor Vianu: Computing on Structures. ICALP 1993 : 606-620

39 Karl Denninghoff , Victor Vianu: Database Method Schemas and Object Creation. PODS 1993 : 265-275

38 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Computing with Infinitary Logic. ICDT 1992 : 113-123

37 Serge Abiteboul , Kevin J. Compton , Victor Vianu: Queries Are Easier Than You Thought (Probably). PODS 1992 : 23-32

36 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992 : 156-168

35 Serge Abiteboul , Victor Vianu: Expressive Power of Query Languages. Theoretical Studies in Computer Science 1992 : 207-251

34 Victor Vianu, Gottfried Vossen : Conceptual Level Concurrency Control of Relational Update Transactions. TCS 95 (1): 1-42 (1992)

33 Stéphane Grumbach , Victor Vianu: Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL 1991 : 111-122

32 Stéphane Grumbach , Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991 : 315-327

31 Serge Abiteboul , Victor Vianu: Generic Computation and Its Complexity. STOC 1991 : 209-219

30 Karl Denninghoff , Victor Vianu: The Power of Methods With Parallel Semantics. VLDB 1991 : 221-232

29 Serge Abiteboul , Victor Vianu: Non-Determinism in Logic-Based Languages. Annals of Mathematics and Artificial Intelligence 3 (2-4): 0- (1991)

28 Serge Abiteboul , Victor Vianu: Datalog Extensions for Database Queries and Updates. JCSS 43 (1): 62-124 (1991)

27 Dino Karabeg , Victor Vianu: Simplification Rules and Complete Axiomatization for Relational Update Transactions. TODS 16 (3): 439-475 (1991)

26 Stéphane Grumbach , Victor Vianu: Playing Games with Objects. ICDT 1990 : 25-38

25 Serge Abiteboul , Eric Simon , Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990 : 218-229

24 Serge Abiteboul , Victor Vianu: Procedural Languages for Database Queries and Updates. JCSS 41 (2): 181-229 (1990)

23 Serge Abiteboul , Peter Buneman , Claude Delobel , Richard Hull , Paris C. Kanellakis , Victor Vianu: New Hope on Data Models and Types: Report of an NSF-INRIA Workshop. SIGMOD Record 19 (4): 41-48 (1990)

22 Dino Karabeg , Victor Vianu: Parallel Update Transactions. TCS 76 (1): 93-114 (1990)

21 Serge Abiteboul , Victor Vianu: Fixpoint Extensions of First-Order Logic and Datalog-Like Languages. LICS 1989 : 71-79

20 Victor Vianu, Gottfried Vossen : Goal-Oriented Concurrency Control. MFDBS 1989 : 398-414

19 Serge Abiteboul , Victor Vianu: A Transaction-Based Approach to Relational Database Specification. JACM 36 (4): 758-789 (1989)

18 Dino Karabeg , Victor Vianu: Parallel Update Transactions (Extended Abstract). ICDT 1988 : 307-321

17 Victor Vianu, Gottfried Vossen : Conceptual Level Concurrency Control of Relational Update Transactions. ICDT 1988 : 353-367

16 Serge Abiteboul , Victor Vianu: The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB 1988 : 324-334

15 Serge Abiteboul , Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988 : 240-250

14 Peter Lyngbæk , Victor Vianu: Relational Translations of Semantic Models: A Case Study Based on Iris. Data Engineering Bulletin 11 (2): 13-22 (1988)

13 Serge Abiteboul , Victor Vianu: Equivalence and Optimization of Relational Transactions. JACM 35 (1): 70-120 (1988)

12 Victor Vianu: A Dynamic Framework for Object Projection Views. TODS 13 (1): 1-22 (1988)

11 Almira Karabeg , Dino Karabeg , Kostoula Papakonstantinou , Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987 : 254-259

10 Serge Abiteboul , Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987 : 260-268

9 Peter Lyngbæk , Victor Vianu: Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference 1987 : 132-142

8 Victor Vianu: Database Survivability Under Dynamic Constraints. Acta Informatica 25 (1): 55-84 (1987)

7 Victor Vianu: Dynamic Functional Dependencies and Database Aging. JACM 34 (1): 28-59 (1987)

6 Serge Abiteboul , Victor Vianu: Deciding Properties of Transactional Schemas. PODS 1986 : 235-239

5 Serge Abiteboul , Victor Vianu: Transactions and Integrity Constraints. PODS 1985 : 193-204

4 Victor Vianu: Object Projection Views in the Dynamic Relational Model. PODS 1984 : 214-220

3 Serge Abiteboul , Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984 : 46-56

2 Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983 : 389-399

1 Victor Vianu: The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. MFCS 1977 : 537-542





DiSC'01 Copyright ©2002 ACM Inc.