Vi studerar problemet med att skriva om frågor med hjälp av vyer i närvaro av tillträdesmönster, integritet begränsningar, diskontering, och negation. Vi tillhandahåller asymptotiskt optimala algoritmer för att hitta minimala innehåll och maximal innehållna omskrivningar och för att avgöra om en exakt omskrivning finns. Vi visar att skriva om frågor med hjälp av vyer i detta fall minskar (a) att skriva om frågor med åtkomstmönster och begränsningar utan vyer och även (b) att skriva om frågor med vyer under begränsningar utan åtkomstmönster. Vi visar hur man löser (a) direkt och hur man minskar (b) att skriva om frågor under begränsningar endast (semantisk optimering). Dessa minskningar ger två separata vägar till en enhetlig lösning för alla tre problemen, baserat på en utvidgning av den relationella jaktteorin till frågor och begränsningar med diskontering och negation. Vi hanterar också likheter och aritmetiska jämförelser.
Slutligen föreslog REF, baserat på en utvidgning av den relationella jaktteorin, en enhetlig ram för att skriva om frågor i närvaro av åsikter, integritetsbegränsningar och tillträdesbegränsningar.
Rewriting Queries Using Views with Access Patterns under Integrity Constraints
{'venue': 'IN ICDT', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}