\documentclass{article}
\begin{document}
A SQL Database System for Solving Constraints
\end{document}