Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
 SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
 DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
 KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
 SIGIR 2001
 SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Victor Vianu

Papers on DiSC'02


A Web Odyssey: From Codd to XML

XML with Data Values: Typechecking Revisited

Representing and Querying XML with Incomplete Information

Publications


Note: Links lead to the DBLP on the Web.

Victor Vianu

83 Luc Segoufin , Victor Vianu: Validating Streaming XML Documents. PODS 2002 : 53-64

82 Jan Van den Bussche , Victor Vianu: Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. Springer 2001

81 Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu: Typechecking XML Views of Relational Databases. LICS 2001 : 421-430

80 Frank Neven , Thomas Schwentick , Victor Vianu: Towards Regular Languages over Infinite Alphabets. MFCS 2001 : 560-572

79 Victor Vianu: A Web Odyssey: From Codd to XML. PODS 2001

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

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

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

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

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

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

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

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

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

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

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

67 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)

66 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)

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

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

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

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

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

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

59 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

58 C. Baru , Bertram Ludäscher , Yannis Papakonstantinou , Pavel Velikhov , Victor Vianu: Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. QL 1998

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

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

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

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

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

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

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

50 Serge Abiteboul , Moshe Y. Vardi , Victor Vianu: Fixpoint logics, relational machines, and computational complexity. JACM 44 (1): 30-56 (1997)

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

48 Serge Abiteboul , Richard Hull , Victor Vianu: Foundations of Databases. Addison-Wesley 1995

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

24 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)

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

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

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

20 Serge Abiteboul , Victor Vianu: A transaction-based approach to relational database specification. JACM 36 (4): 758-789 (1989)

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

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

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

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

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

14 Serge Abiteboul , Victor Vianu: Equivalence and optimization of relational transactions. JACM 35 (1): 70-120 (1988)

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

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

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

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

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

8 Victor Vianu: Dynamic functional dependencies and database aging. JACM 34 (1): 28-59 (1987)

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

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

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

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

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

2 Tim Connors , Victor Vianu: Tableaux which Define Expression Mappings. XP1 Workshop on Database Theory 1981

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




DiSC'02 © 2003 Association for Computing Machinery