WITH { READ ONLY | CHECK OPTION [CONSTRAINT constraint] }

For information on the symbols and conventions of Backus-Naur Form (BNF) syntax, see Appendix A.