Peter Buneman - PDFSEARCH.IO - Document Search Engine

Peter Buneman
Results: 42

#	Item
1	charin.fntolist,erase.applist and how not to do research Peter Buneman LFCS 30th anniversary Once upon a time ... Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2017-06-14 03:23:26
2	Provenance Management in Curated Databases Peter Buneman Adriane P. Chapman James Cheney Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2006-12-31 07:06:12
3	Interaction between Path and Type Constraints PETER BUNEMAN University of Edinburgh and WENFEI FAN Bell Laboratories Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2006-12-31 07:06:12
4	On Propagation of Deletions and Annotations Through Views Peter Buneman ∗ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:13 Relational model Data management Computing Data Database theory Mathematical notation Tuple Type theory Relational database Relational algebra Relation Bin
5	Keys for XML Peter Buneman Susan Davidson Wenfei Fany Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Computing Data Query languages Markup languages XML tree XPath Node B-tree Trie XML schema XPath 2.0
6	Proceedings of the UK e-Science All Hands Meeting 2006, © NeSC 2006, ISBNPreserving Scientific Data with XMLArch ∗ Peter Buneman Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-29 16:25:00 Computing Data Data management Technical communication Database theory Data modeling Database models Database Relational database XML database Hierarchical database model Relational model
7	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
8	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:18 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
9	Path Constraints on Semistructured and Structured Data Peter Buneman University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Constraint programming Mathematical optimization Constraint satisfaction Theoretical physics First class constraint
10	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:15 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function