L'identité des objets comme une primitive de langage de requête

Nous démontrons la puissance des identités d'objets (oid) en tant que primitive de langage de requête de base de données. Nous développons un modèle de données basé sur les objets, dont la partie structurelle généralise la plupart des modèles de données complexes connus : la cyclicité est autorisée tant dans ses schémas que dans ses instances. Notre principale contribution est la partie opérationnelle du modèle de données, le langage de requête IQL, qui utilise les oid à trois fins critiques : (1) représenter des structures de données avec partage et cycles, (2) manipuler des ensembles et (3) exprimer toute requête de base de données calculable. IQL peut être vérifié par type de manière statique, peut être évalué de bas en haut et généralise naturellement la plupart des langages de base de données basés sur des règles populaires. Le modèle peut également être étendu pour incorporer l'héritage de types, sans changements à IQL. Enfin, nous étudions un modèle de données basé sur des valeurs analogue, dont la partie structurelle est fondée sur des arbres réguliers infinis et dont la partie opérationnelle est IQL.