Query Preserving Watermarking Schemes for Locally Treelike Databases

Authors Agnishom Chattopadhyay, M. Praveen



PDF
Thumbnail PDF

File

LIPIcs.FSTTCS.2019.36.pdf
  • Filesize: 0.51 MB
  • 14 pages

Document Identifiers

Author Details

Agnishom Chattopadhyay
  • Chennai Mathematical Institute, Chennai, India
  • UMI ReLaX, Indo-French joint research unit
M. Praveen
  • Chennai Mathematical Institute, Chennai, India
  • UMI ReLaX, Indo-French joint research unit

Acknowledgements

The authors thank B. Srivathsan and K. Narayan Kumar for feedback on the draft.

Cite AsGet BibTex

Agnishom Chattopadhyay and M. Praveen. Query Preserving Watermarking Schemes for Locally Treelike Databases. In 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 150, pp. 36:1-36:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.FSTTCS.2019.36

Abstract

Watermarking is a way of embedding information in digital documents. Much research has been done on techniques for watermarking relational databases and XML documents, where the process of embedding information shouldn't distort query outputs too much. Recently, techniques have been proposed to watermark some classes of relational structures preserving first-order and monadic second order queries. For relational structures whose Gaifman graphs have bounded degree, watermarking can be done preserving first-order queries. We extend this line of work and study watermarking schemes for other classes of structures. We prove that for relational structures whose Gaifman graphs belong to a class of graphs that have locally bounded tree-width and is closed under minors, watermarking schemes exist that preserve first-order queries. We use previously known properties of logical formulas and graphs, and build on them with some technical work to make them work in our context. This constitutes a part of the first steps to understand the extent to which techniques from algorithm design and computational learning theory can be adapted for watermarking.

Subject Classification

ACM Subject Classification
  • Security and privacy → Information accountability and usage control
  • Theory of computation → Finite Model Theory
  • Information systems → Relational database model
Keywords
  • Locally bounded tree-width
  • closure under minors
  • first-order queries
  • watermarking

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. R. Agrawal and J. Kiernan. Watermarking relational databases. In International Conference on Very Large Databases, VLDB, 2002. Google Scholar
  2. B. S. Baker. Approximation algorithms for NP-complete problems on planar graphs. J. ACM, 41:153-180, 1994. Google Scholar
  3. E. F. Codd. Relational completeness of database sublanguages. In Proceedings of the Sixth Courant Computer Science Symposium on Data Base Systems, Annual ACM-SIAM Symposium on Discrete Algorithms, pages 65-98, New York, NY, USA, 1972. Prentice-Hall. Google Scholar
  4. Bruno Courcelle and Stephan Olariu. Upper bounds to the clique width of graphs. Discrete Applied Mathematics, 101(1):77-114, 2000. Google Scholar
  5. A. Dawar, M. Grohe, and S. Kreutzer. Locally excluding a minor. In Proceedings of the 22nd IEEE Symposium on Logic in Computer Science, LICS, pages 270-279, 2007. Google Scholar
  6. Z. Dvořàk, D. Kràl, and R. Thomas. Deciding first-order properties for sparse graphs. In Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science, FOCS, pages 133-142, 2010. Google Scholar
  7. D. Eppstein. Diameter and treewidth in minor-closed graph families. Algorithmica, 27:275-291, 2000. Google Scholar
  8. J. Flum and M. Grohe. Fixed-parameter tractability, definability, and model checking. SIAM Journal on Computing, 31:113-145, 2001. Google Scholar
  9. M. Frick and M. Grohe. Deciding first-order properties of locally tree-decomposable structures. J. ACM, 48(6):1184-1206, 2001. Google Scholar
  10. H. Gaifman. On Local and Non-Local Properties. In J. Stern, editor, Proceedings of the Herbrand Symposium, volume 107 of Studies in Logic and the Foundations of Mathematics, pages 105-135. Elsevier, 1982. Google Scholar
  11. M. Grohe, S. Kreutzer, and S. Siebertz. Deciding First-Order Properties of Nowhere Dense Graphs. J. ACM, 64(3):17:1-17:32, 2017. Google Scholar
  12. M. Grohe and G. Turán. Learnability and Definability in Trees and Similar Structures. Theory of Computing Systems, 37(1):193-220, January 2004. Google Scholar
  13. David Gross-Amblard. Query-preserving Watermarking of Relational Databases and XML Documents. ACM Trans. Database Syst., 36(1):3:1-3:24, 2011. Google Scholar
  14. S. Khanna and F. Zane. Watermarking Maps: Hiding Information in Structured Data. In Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '00, pages 596-605, Philadelphia, PA, USA, 2000. Society for Industrial and Applied Mathematics. Google Scholar
  15. S. Kreutzer. Algorithmic meta-theorems. In J. Esparza, C. Michaux, and C. Steinhorn, editors, Finite and Algorithmic Model Theory, pages 177-270. Cambridge University Press, 2011. chapter 5. Google Scholar
  16. M.C. Laskowski. Vapnik-Chervonenkis classes of definable sets. Journal of the London Mathematical Society, 45(2):377-384, 1992. Google Scholar
  17. M. Pilipczuk, S. Siebertz, and S. Toru'nczyk. On the number of types in sparse graphs. In Proceedings of LICS, pages 799-808, 2018. Google Scholar
  18. D. Seese. Linear time computable problems and first-order descriptions. Mathematical Structures in Computer Science, 6:505-526, 1996. Google Scholar
  19. S. Shelah. Stability, the f.c.p. and superstability. Annals of Mathematical Logic, 3:271-362, 1971. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail