Author:
Buneman Peter,Pierce Benjamin
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Serge Abiteboul and Richard Hull. IFO: A formal semantic database model. ACM Transactions on Database Systems, 12(4):525–565, December 1987. 188
2. Alin Deutsch and Mary Fernandez and Dan Suciu. Storing semistructured data with STORED. In Proceedings of ACM SIGMOD International Conference on Management of Data, June 1999. 185, 206
3. S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. Wiener. The lorel query language for semistructured data. Journal on Digital Libraries, 1(1), 1996. 185, 187
4. Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Ugo de’Liguoro. Intersection and union types: Syntax and semantics. Information and Computation, 119(2):202–230, June 1995. 188
5. P. Buneman, S. Davidson, M. Fernandez, and D. Suciu. Adding structure to unstructured data. In Proc. ICDT, 1997. 206
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mastering Control: A Digital Toolkit for Understanding PID Controllers;2023 IEEE 23rd International Symposium on Computational Intelligence and Informatics (CINTI);2023-11-20
2. A Gradual Interpretation of Union Types;Static Analysis;2017
3. Well-Defined NRC Queries Can Be Typed;In Search of Elegance in the Theory and Practice of Computation;2013
4. Typing the Numeric Tower;Practical Aspects of Declarative Languages;2012
5. Intersection and Union Types in the λ¯μμ˜-calculus;Electronic Notes in Theoretical Computer Science;2005-07