![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
XP7.52 1986: Austin, TX, USA
- Henry F. Korth:
XP / 7.52 Workshop on Database Theory, University of Texas at Austin, TX, USA, August 13-15, 1986. 1986 - Title, Foreword, Program.
- Shamim A. Naqvi:
A Logic for Negation in Database Systems. XP7.52 Workshop on Database Theory 1986 - Richard Hull:
A Survey of Theoretical Research on Typed Complex Database Objects. - Michael Kifer, Eliezer L. Lozinskii:
Can We Implement Logic as a Database System? - Seymour Ginsburg, Chang-jie Tang:
Cohesion of Object Histories. XP7.52 Workshop on Database Theory 1986 - Oded Shmueli:
Decidability and Expressiveness Aspects of Logic Queries. - David Maier, Jacob Stein, Allen Otis, Alan Purdy:
Development of an Object-Oriented DBMS. - Van Nguyen, Kenneth J. Perry:
Do We Really Know What Knowledge Is? XP7.52 Workshop on Database Theory 1986 - Dirk Van Gucht, Patrick C. Fischer:
High Level Data Manipulation Languages for Unnormalized Relational Database Models. - Guozhu Dong, Seymour Ginsburg:
Localizable Constraints for Object Histories. - Gabriel M. Kuper:
Logic Programming with Sets. - Henry F. Korth:
Non-First-Normal-Form Relations Theory and Applications. - Z. Meral Özsoyoglu, Li-Yan Yuan:
Notions of Dependency Preservation for Nested Relations. - Jeffrey F. Naughton:
One-Sided Recursions. - Yehoshua Sagiv:
Optimizing Datalog Programs. XP7.52 Workshop on Database Theory 1986 - François Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan:
Pushing Selections into Logic Programs. - Linda A. Ness:
Reducing Linear Recursive Relations to Transitive Closure. XP7.52 Workshop on Database Theory 1986 - Ravi Krishnamurthy, Carlo Zaniolo:
Safety and Optimization of Horn Clause Queries. - Raghu Ramakrishnan, François Bancilhon, Abraham Silberschatz:
Safety of Recursive Horn Clauses With Function Symbols. - Jay Banerjee, Hyoung-Joo Kim, Won Kim, Henry F. Korth:
Schema Evolution in Object-Oriented Persistent Databases. - Naphtali Rishe:
The Expressiveness of Logic-based Database Query Languages. XP7.52 Workshop on Database Theory 1986 - Naftaly H. Minsky, David Rozenshtein:
Towards Controlling the Evolution of Large Software Systems or The DARWIN System. - David Maier:
Why Object-Oriented Databases Can Succeed Where Others Have Failed.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.